Clarify ssh key generation.

remotes/remotes_handouts.tex

@@ -23,14 +23,9 @@ Please take the following into account with respect to our GitLab server:
     page.
 \end{itemize}
 
-It is convenient to set up an ssh key on GitLab. Make one as follows (you can
-leave all fields blank):
-\begin{lstlisting}
-  $ ssh-keygen
-  Enter file in which to save the key (/home/<username>/.ssh/id_rsa):
-  Enter passphrase (empty for no passphrase):
-  Enter same passphrase again:
-\end{lstlisting}
+\subsubsection*{SSH Keys on GitLab}
+
+It is convenient to set up an ssh key on GitLab.
 \medskip
 
 Open \url{https://git.lumc.nl} in your browser and log in.
@@ -40,14 +35,28 @@ Click on your avatar (top-right corner), choose ``Settings'', and then go the
 ``SSH Keys'' page.
 \medskip
 
-Copy your ssh key, retrieved with the following \lstinline{cat} command, and
-paste it in the ``Key'' field:
+Go to your terminal (or putty) and make an SSH key, as follows (you can leave
+all fields that require an input blank, i.e., press enter):
+\medskip
+
+\prompt\ \cmd{ssh-keygen}
 \begin{lstlisting}
-  $ cat ~/.ssh/id_rsa.pub
+Enter file in which to save the key (/home/<username>/.ssh/id_rsa):
+Enter passphrase (empty for no passphrase):
+Enter same passphrase again:
 \end{lstlisting}
 \medskip
 
-Give your key a title (e.g., ``Course machine'') and press the ``Add key''
+You can now retrieve your ssh key with the following \lstinline{cat} command:
+\medskip
+
+\prompt\ \cmd{cat} $\sim$\cmdarg{/.ssh/id\_rsa.pub}
+\medskip
+
+Copy the key and paste it in the ``Key'' field on the GitLab page.
+\medskip
+
+Give your key a title, e.g., ``Course machine'', and press the ``Add key''
 button.
 \bigskip