From 2c8376890ddc82a1e73cae8c13440d6e8cc0a073 Mon Sep 17 00:00:00 2001 From: Thomas Preisner Date: Wed, 22 May 2019 16:39:07 +0200 Subject: [PATCH] ssh: config: add jumphost for manlobby --- ssh/config | 1 + 1 file changed, 1 insertion(+) diff --git a/ssh/config b/ssh/config index 133d476..5593fa6 100644 --- a/ssh/config +++ b/ssh/config @@ -13,6 +13,7 @@ Host faui0? faui0?? faui0??? Host man? man?? big? HostName faui49%h.informatik.uni-erlangen.de + ProxyJump ty28wuqu@i4lab1.informatik.uni-erlangen.de Match Host faui* User ty28wuqu