diff --git a/Linux-Servers.md b/Linux-Servers.md index 80bab54..cc2e18d 100644 --- a/Linux-Servers.md +++ b/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. +