summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--accounts/gkleen@sif/ssh-hosts.nix5
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";