summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--accounts/gkleen@sif/ssh-hosts.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix
index 66811788..7bd6bdfe 100644
--- a/accounts/gkleen@sif/ssh-hosts.nix
+++ b/accounts/gkleen@sif/ssh-hosts.nix
@@ -190,6 +190,7 @@
190 }; 190 };
191 "gitlab-ce.lrz.de" = 191 "gitlab-ce.lrz.de" =
192 { hostname = "gitlab-ce.lrz.de"; 192 { hostname = "gitlab-ce.lrz.de";
193 extraOptions.AddressFamily = "inet";
193 user = "git"; 194 user = "git";
194 identityFile = "~/.ssh/gkleen@gitlab-ce.lrz.de"; 195 identityFile = "~/.ssh/gkleen@gitlab-ce.lrz.de";
195 }; 196 };