ssh: remove git.tpreisner.de entry

Not needed when using just one sshkey.
This commit is contained in:
Thomas Preisner 2017-10-14 15:22:06 +02:00
parent 06f48f2c99
commit 39d069859f

View file

@ -33,12 +33,6 @@ Host server
HostName tpreisner.de HostName tpreisner.de
User root User root
Host git.tpreisner.de
Hostname tpreisner.de
User git
IdentityFile ~/.ssh/git_rsa
IdentitiesOnly yes
Host steep Host steep
Hostname steep.cs.fau.de Hostname steep.cs.fau.de
User preisi User preisi