diff --git a/ssh/config b/ssh/config index a7019f6..755e032 100644 --- a/ssh/config +++ b/ssh/config @@ -5,16 +5,17 @@ Host * Host 0?? 0??? HostName faui%h.informatik.uni-erlangen.de + ForwardAgent yes Host faui0? faui0?? HostName %h.informatik.uni-erlangen.de + ForwardAgent yes Host man? man?? big? HostName faui49%h.informatik.uni-erlangen.de Match Host faui* User ty28wuqu - ForwardAgent yes Host ircbox HostName ircbox.informatik.uni-erlangen.de