ssh: config: add jumphost for manlobby

2019-05-22 16:39:07 +02:00 · 2019-05-22 16:39:07 +02:00 · 2c8376890d
commit 2c8376890d
parent 151032b726
1 changed files with 1 additions and 0 deletions
--- 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