From aebff04d1c758cfbbbc5bfd5908ef27c34eb0e53 Mon Sep 17 00:00:00 2001 From: Erwin Boskma Date: Tue, 22 Nov 2022 17:41:49 +0100 Subject: [PATCH] Tweak port for git --- home-manager/modules/ssh/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/home-manager/modules/ssh/default.nix b/home-manager/modules/ssh/default.nix index 8f6409e..68aa434 100644 --- a/home-manager/modules/ssh/default.nix +++ b/home-manager/modules/ssh/default.nix @@ -63,6 +63,8 @@ in "git.datarift.nl" = { hostname = if var.workSystem then "direct.datarift.nl" else "10.0.0.201"; + port = if var.workSystem then 2222 else 22; + identityFile = personalKey; }; fluiddpi = mkIf (!var.workSystem) {