Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  1. If you don't have an SSH key yet, you have to create one. You can do this by:
    • Creating one using the command ssh-keygen on the command line. Simply type ssh-keygen, confirm the default destination file ~/.ssh/id_rsa, and choose whether to give a passphrase. If you have a passphrase, you need to enter it whenever you use your SSH key for the first time in a session. You can omit the passphrase, but that makes the key less secure. As result, the tool generates a private key ~/.ssh/id_rsa, which has to be kept secret, and a public key ~/.ssh/id_rsa.pub.
    • Using Eclipse to generate it. You can find this function under Preferences - General - Network Connections - SSH2 - Key Management.
  2. Register with Stash and upload your public SSH key (Profile - SSH Keys - Add Key).
  3. Copy one of the following repository URI URIs into the clipboard: ssh://git@git.rtsys.informatik.uni-kiel.de:7999/KIELER/mainline.git (if you insist in using HTTPthe_repo_to_clone.git where the_repo_to_clone is either pragmatics or semantics (if in doubt, ask your adviser which of these you need). If you for whatever reason insist on using the less efficient HTTP protocol, use the following URIhttp://youraccountname@git.rtsys.informatik.uni-kiel.de/scm/KIELER/mainlinethe_repo_to_clone.git)
  4. Open the Git Repositories view, right-click it, select Paste Repository Path or URI, select ssh connection protocol, Next, select master branch, Next, select destination directory (e.g. /home/<username>/shared/kieler), Finish. Wait for the repository to be downloaded to your computer. Note that the whole history of the repository will be stored in your local filesystem, which is pretty awesome.
  5. Right-click the Working directory entry in the kieler repository, select Import Projects, Next, select the projects that you want in your workspace, Finish.

...