/Teaching/Operating Systems/Tutorials/SSH and Git FAQ

SSH and Git FAQ

I use a default Ubuntu / Debian installation, what is the first thing I should do?

Enter:

sudo apt install zsh && wget -O ~/.zshrc https://gruss.cc/zsh/zshrc && chsh -s /usr/bin/zsh

How to tag?

To submit an assignment (for example A1), use the following commands:

git tag A1

git push --tags

or for example an assignment with tag SubmissionI1:

git tag SubmissionI1

git push --tags

Then check whether your test system has found your tag.

How to update a tag?

If you need to resubmit, remove the existing tag using the following commands:

git tag -d mytag

git push origin :refs/tags/mytag

Then tag your new submission as before!

Git with Eclipse (EGit) does not accept my passphrase

It might occur that you have created and uploaded a working public key which enables you to pull and push using the console. However, if you try to do the same using EGit, it will not accept your passphrase and demand it continuously.

A known solution for this bug is to create a new environment variable named GIT_SSH having the path of your shell (i.e. /usr/bin/ssh) assigned:

  1. Open the file /etc/environment with a text editor (like vi, nano, etc.) under root permissions:
    1. At the end of the file, append the following line:
      GIT_SSH="/usr/bin/ssh" eclipse
    2. Save the file and reboot

Right now Eclipse will take the right shell for the execution of git commands.