/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:
-
Open the file
/etc/environment
with a text editor (likevi
,nano
, etc.) underroot
permissions:- At the end of the file, append the following line:
GIT_SSH="/usr/bin/ssh" eclipse
- Save the file and reboot
- At the end of the file, append the following line:
Right now Eclipse will take the right shell for the execution of git
commands.