Identityfile ~/.ssh/github
Host werk
- User johndoe
- HostName ssh.tunnel.werk.com
+ User frobnicator
+ HostName ssh.werk.nl
ForwardX11 yes
Port 2222
Identityfile ~/.ssh/werk
Host muziekserver
- User gebruiker
+ User frobnicator
HostName muziek.dyndns.com
- IdentityFile ~/.ssh/mpi
+ IdentityFile ~/.ssh/muziek
LocalForward 8123 localhost:8123
AddressFamily inet
\end{lstlisting}