@@ -37,20 +37,20 @@ Open a terminal (as Linux user) or open the Git Bash app (on Windows). Now, foll
Open a terminal (on Linux) or the Git Bash app (on Windows) and browse to the directory where you would like to place the local clone. Type on the command line prompt:
```bash
cd path_to_clone_directory
cd <path_to_clone_directory>
```
Note that the path has to be specified Unix style (i.e., with / instead of \ as delimiter). If you would like to create a new directory, type
where you replace <path_to_clone_directory> with the path to the directory where you would like to place the clone. Note that the path has to be specified Unix style (i.e., with / instead of \ as delimiter). If you would like to create a new directory, type
```bash
mkdir name_of_new_directory
mkdir <name_of_new_directory>
```
and again browse into to that directory using cd.
where you replace <name_of_new_directory> with the name of the directory to create, and again browse into to that directory using cd.
Now, the actual cloning can happen:
```bash
git clone SSH_cloning_link
git clone <SSH_cloning_link>
```
You should be prompted to enter the pass phrase of your SSH key which you (hopefully) memorised earlier. If the process was successful, the clone of the repository should appear in the current directory, which you can check by typing
(replace <SSH_cloning_link> with the link that you have copied from the blue button on the repository web site). You should be prompted to enter the pass phrase of your SSH key which you have (hopefully) memorised earlier. If the process was successful, the clone of the repository should appear in the current directory, which you can check by typing
