ssh: add entry for steep

This commit is contained in:
Thomas Preisner 2017-05-03 19:09:02 +02:00
parent e40bbc0852
commit 65d6fbad18

View file

@ -38,6 +38,11 @@ Host git.tpreisner.de
IdentityFile ~/.ssh/git_rsa IdentityFile ~/.ssh/git_rsa
IdentitiesOnly yes IdentitiesOnly yes
Host steep
Hostname steep.cs.fau.de
User preisi
Port 17
# use if they havent been defined yet: # use if they havent been defined yet:
Host * Host *
Compression yes Compression yes