Added Git prompts in Linux-Servers.md

Linux-Servers.md

@@ -402,3 +402,112 @@ For more than one minute no answer arrived.
 So likely the office Internet connection is down.
 
 Thank you, I will proceed troubleshooting on Monday in the office.
+
+---
+
+# New Git repository on DesTEngS Git server
+
+Please help with setting up a new Git repository on a Git server
+and in a Linux folder.
+
+## DesTEngS Git server
+
+The DesTEngS Git server is at
+`git.destengs.com` and can be accessed via SSH
+with the `git` user and port `8085`.
+
+Example:
+The user pln did add a remote connection with
+`git remote add origin ssh://git@git.destengs.com:8085/pln/bin.git`.
+
+I have an account and my user name is 'tlg'.
+
+The Git server SW is Gitea.
+
+Gitea push-to-create is intentionally not enabled; therefore,
+new repositories were created via the Git server web interface
+up to now.
+
+## The new Git repository
+
+The new Git repo will be used for my SW design topics, shall have
+the name DesTEngSsv006_swd and shall use SHA-256.
+
+I also want to use the Git repo for things which are common on GitHub
+repositories (like bug tracking and actions); however, the new
+repo will only be used by me and AI agents like you.
+
+On my Linux server DesTEngSsv006 my user name is 'tlg'.
+I created a folder /home/tlg/swd which shall become a Git repo which
+will be synced with the Git server repo; therefore, I want a
+SSH remote connection which would be created with
+`git remote add origin ssh://git@git.destengs.com:8085/tlg/DesTEngSsv006_swd.git`.
+
+## Questions
+
+- Use your ask user questions tool to completely understand the
+  situation and my requirements.
+- Do I have to manually set up the repo on the Git server first?
+- How should I set up bug tracking, actions and similar things?
+
+---
+
+# Local Git repository setup
+
+Please help with setting up a local Git repository in a Linux folder
+and synchronizing it with a Git repository on a remote Git server.
+
+## Remote Git server
+
+The remote Git server is at
+`git.destengs.com` and can be accessed via SSH
+with the `git` user and port `8085`.
+
+Example:
+The user pln did add a remote connection with
+`git remote add origin ssh://git@git.destengs.com:8085/pln/bin.git`.
+
+I have an account and my user name is 'wbg'.
+
+The Git server SW is Gitea.
+
+## New Git repository on remote Git server
+
+Gitea push-to-create is intentionally not enabled; therefore,
+I created the desired new repository via the Git server web interface:
+- Name 'destengssv006_bin'
+- Issue Label Default
+- Object format sha256
+
+I also created a new Token for access to wbg account via Gitea-API:
+- Token-name destengssv006
+- Access: All (public, private and restricted)
+- │ API route    │ Access                                    
+  │ activitypub  │ no access      
+  │ issue        │ read and write
+  │ misc         │ read
+  │ notification │ read
+  │ organization │ no access
+  │ package      │ no access
+  │ repository   │ read and write
+  │ user         │ read
+- Stored it on this server in /home/wbg/.gitea-token
+
+## Local Git repository
+
+The folder /home/wbg/bin shall become a Git repo which
+must be synced with the remote Git server repository.
+
+SSH keys have been generated and the public used to communicate with the
+remote Git server via SSH without entering credentials.
+
+## Your tasks
+
+1. Initialize the local Git repository in the /home/wbg/bin
+   with sha256, branch 'main'. Set
+   global user name to 'wbg' and
+   global user email to 'Thomas.Langer@destengs.com'.
+2. Setup the SSH remote connection with
+   `git remote add origin ssh://git@git.destengs.com:8085/wbg/destengssv006_bin.git`.   
+3. Make an initial commit with a reasonable .gitignore to test it.
+