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"; | 
