ssh: config: allow agent forwarding for faui*

This commit is contained in:
Thomas Preisner 2018-05-07 01:25:09 +02:00
parent 30918bab6d
commit f8fb7185c5

View file

@ -2,7 +2,6 @@
# Rules for all connections
Host *
AddKeysToAgent confirm
ForwardAgent no
Host 0?? 0???
HostName faui%h.informatik.uni-erlangen.de
@ -15,6 +14,7 @@ Host man? man?? big?
Match Host faui*
User ty28wuqu
ForwardAgent yes
Host ircbox
HostName ircbox.informatik.uni-erlangen.de
@ -36,3 +36,4 @@ Host steep
# use if they havent been defined yet:
Host *
Compression yes
ForwardAgent no