Commit 56a8a51c authored by Luke Bovard's avatar Luke Bovard
Browse files

adding info on using git through ssh

parent 9372d174
......@@ -267,3 +267,27 @@ For the machines
please see the configuration settings in the \texttt{ClusterConfigs}
directory in the \texttt{Miscellaneous} in the main repository.
\section{git on clusters}
Some compute clusters, such as SuperMUC or Hazelhen, do not allow access
to the outside world but instead require sshing in through known
machines. To access git through these machines do the following.
On your local machine add the following to the \texttt{.ssh/config} file
\begin{code}
RemoteForward $PORT_NUM gitlab.lrz.de:22
\end{code}
where you specify \texttt{PORT\_NUM} as a port number. Then on the compute
machine, create a new ssh key and add it to your profile on Gitlab. Then
add the following to the \texttt{.ssh/config} file
\begin{code}
IdentitiesOnly yes
Host gitlab.lrz.de
Hostname localhost
Port $PORT_NUMBER
User $USERNAME
IdentityFile ~/.ssh/$PRIVATE_KEY
\end{code}
where \texttt{USERNAME} and \texttt{PRIVATE\_KEY} are your username
required to log into the gitlab and private key file respectively.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment