If you want to avoid typing in your password whenever you access the git server, you can generate an ssh private/public key pair. Windows users will need to type these commands into git bash for best results.
First, create the key:
ssh-keygen -t ed25519Type enter to accept the default values for any questions it asks you. Yes, you will want to leave the passphrase empty (but it's ok because you need access to your computer to use the key). If you want to set a non-empty passphrase, consider using an ssh-agent to help manage your key's passphrase to make your life easier.
After the key is generated, if your machine has the ssh tools installed, you can put the key on the server with this command:
ssh-copy-id -p 13022 <username>@gitter.csse.rose-hulman.edu
If your machine doesn't have the ssh-copy-id command, you can try this:
cat ~/.ssh/id_ed25519.pub | ssh -p 13022 -e none <username>@gitter.csse.rose-hulman.edu 'cat >> ~/.ssh/authorized_keys'
You can get a repo as follows:
git clone ssh://<username>@gitter.csse.rose-hulman.edu:13022/repos/<repo> (appending .git to the end of the repo is not necessary)Another (cleaner) method where you do not have to specify the port is to create a config file at ~/.ssh/config with the following information:
Host gitter.csse.rose-hulman.edu Port 13022Your instructor should provide the repo name.