diff options
Diffstat (limited to 'tw/home.scm')
| -rw-r--r-- | tw/home.scm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tw/home.scm b/tw/home.scm index fac65a50..2bcc2cd8 100644 --- a/tw/home.scm +++ b/tw/home.scm @@ -114,6 +114,13 @@ (name "alihlt-gw-prod.cern.ch") (port 2020)) ,(openssh-host + (name "alieevee-wn-*.cern.ch") + (user "root") + (identity-file "~/.local/share/ssh-keys/cern_id_rsa")) + ,(openssh-host + (name "alieevee-wn-*.cern.ch !alieevee-wn-1.cern.ch") ; avoid proxy loops + (proxy (list (proxy-jump (host-name "alieevee-wn-1.cern.ch"))))) + ,(openssh-host (name "epn???") (user "pdp") (proxy (list (proxy-jump (host-name "alihlt-gw-prod.cern.ch") (port 2020)))) |