git-setup.md

@@ -23,7 +23,13 @@ Once you have an authentication method set up, you can paste the clone URL behin
 git clone https://webis16.medien.uni-weimar.de/gitlab/webisstud/wstud-clickbait-ws16.git
 ```
 
-If you need further instructions on working with git from the command line, you can find many good tutorials online, such as the following:
+With SSH this would be:
+
+```
+git clone git@webis.uni-weimar.de:webisstud/wstud-clickbait-ws16.git
+```
+
+If you need further instructions on working with Git from the command line, you can find many good tutorials online, such as the following:
 
 * [Git Book](https://git-scm.com/book/en/v2)
 * [Learn Version Control with Git](https://www.git-tower.com/learn/git/ebook)
@@ -38,7 +44,7 @@ We provide a convenience command line tool called `webis` to help you work with
 If this tool is already installed on your lab machine, run `webis git init` and follow the instructions to configure it. Following that, there are several ways to clone multiple projects from GitLab:
 
 * clone all projects that you have currently checked out from CVS:
-  1. go to 'code-in-progress' in your CVS workspace directory
+  1. go (`cd`) to `code-in-progress` in your CVS workspace directory
   2. run `webis git cvstree2git`
 * clone all projects from one or more GitLab groups:
   1. create a directory for your git workspace and switch to it