From 53c200fbc53e8494574854f3b678998a74929698 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 17 Jul 2024 12:47:53 +0200
Subject: [PATCH] Access private repositories via hut SSH proxy

---
 m/common/base/ssh.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/m/common/base/ssh.nix b/m/common/base/ssh.nix
index 13f2d4d..5e12ede 100644
--- a/m/common/base/ssh.nix
+++ b/m/common/base/ssh.nix
@@ -12,7 +12,7 @@ in
   programs.ssh.extraConfig = ''
     Host bscpm02.bsc.es bscpm03.bsc.es gitlab-internal.bsc.es alya.gitlab.bsc.es
       User git
-      ProxyCommand nc -X connect -x localhost:23080 %h %p
+      ProxyCommand nc -X connect -x hut:23080 %h %p
   '';
 
   programs.ssh.knownHosts = hostsKeys // {