diff --git a/ssh/config b/ssh/config index 3eaba22..2b5795b 100644 --- a/ssh/config +++ b/ssh/config @@ -38,6 +38,11 @@ Host git.tpreisner.de IdentityFile ~/.ssh/git_rsa IdentitiesOnly yes +Host steep + Hostname steep.cs.fau.de + User preisi + Port 17 + # use if they havent been defined yet: Host * Compression yes