diff options
Diffstat (limited to 'accounts')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index 5957421e..0021c75e 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -463,4 +463,9 @@ | |||
463 | { hostname = "cc-gpu-n02.mathinst.loc"; | 463 | { hostname = "cc-gpu-n02.mathinst.loc"; |
464 | proxyJump = "cc-gpu-m01"; | 464 | proxyJump = "cc-gpu-m01"; |
465 | }; | 465 | }; |
466 | "gitlab.com" = | ||
467 | { hostname = "gitlab.com"; | ||
468 | user = "git"; | ||
469 | identityFile = "~/.ssh/gitlab.com"; | ||
470 | }; | ||
466 | } | 471 | } |