diff options
Diffstat (limited to 'accounts/gkleen@sif')
| -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"; |
