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 15cb6fdc..66811788 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -188,6 +188,11 @@ | |||
188 | user = "git"; | 188 | user = "git"; |
189 | identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; | 189 | identityFile = "~/.ssh/gkleen@gitlab.lrz.de"; |
190 | }; | 190 | }; |
191 | "gitlab-ce.lrz.de" = | ||
192 | { hostname = "gitlab-ce.lrz.de"; | ||
193 | user = "git"; | ||
194 | identityFile = "~/.ssh/gkleen@gitlab-ce.lrz.de"; | ||
195 | }; | ||
191 | "uni2work-dev2" = | 196 | "uni2work-dev2" = |
192 | { hostname = "uni2work-dev2.ifi.lmu.de"; | 197 | { hostname = "uni2work-dev2.ifi.lmu.de"; |
193 | user = "gkleen"; | 198 | user = "gkleen"; |