diff --git a/ssh/config b/ssh/config index 755e032..fa27404 100644 --- a/ssh/config +++ b/ssh/config @@ -7,7 +7,7 @@ Host 0?? 0??? HostName faui%h.informatik.uni-erlangen.de ForwardAgent yes -Host faui0? faui0?? +Host faui0? faui0?? faui0??? HostName %h.informatik.uni-erlangen.de ForwardAgent yes