From f8fb7185c56cdbe921bda9e9b801d23d4fa99c8d Mon Sep 17 00:00:00 2001 From: Thomas Preisner Date: Mon, 7 May 2018 01:25:09 +0200 Subject: [PATCH] ssh: config: allow agent forwarding for faui* --- ssh/config | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ssh/config b/ssh/config index 3ab99df..a7019f6 100644 --- a/ssh/config +++ b/ssh/config @@ -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