diff options
Diffstat (limited to 'accounts')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index fc552e6b..3ecc1095 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -307,7 +307,6 @@ | |||
307 | "mail-mi01" = | 307 | "mail-mi01" = |
308 | { hostname = "mail-mi01.mathinst.loc"; | 308 | { hostname = "mail-mi01.mathinst.loc"; |
309 | proxyJump = "mathw0h"; | 309 | proxyJump = "mathw0h"; |
310 | user = "root"; | ||
311 | }; | 310 | }; |
312 | "dpl-fai01" = | 311 | "dpl-fai01" = |
313 | { hostname = "dpl-fai01.mathinst.loc"; | 312 | { hostname = "dpl-fai01.mathinst.loc"; |