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

SSH and Git FAQ

Where do I get the zsh together with an appropriate configuration?


sudo apt-get install zsh && wget -O ~/.zshrc http://git.grml.org/f/grml-etc-core/etc/zsh/zshrc && chsh -s /usr/bin/zsh

How to tag?

To submit an assignment (for example A1), use the following commands: git tag SubmissionI1 git push –tagsThen 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/mytagThen 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.