From 48d99293dd40cf86a5d38e02106832c25daa8370 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Tue, 3 Jun 2025 17:17:29 +0200
Subject: [PATCH] Add hut SSH configuration from outside jungle LAN

---
 m/module/ssh-hut-extern.nix | 10 ++++++++++
 m/raccoon/configuration.nix |  1 +
 m/tent/configuration.nix    |  7 +++++++
 3 files changed, 18 insertions(+)
 create mode 100644 m/module/ssh-hut-extern.nix

diff --git a/m/module/ssh-hut-extern.nix b/m/module/ssh-hut-extern.nix
new file mode 100644
index 00000000..63b13d57
--- /dev/null
+++ b/m/module/ssh-hut-extern.nix
@@ -0,0 +1,10 @@
+{
+  programs.ssh.extraConfig = ''
+    Host ssfhead
+      HostName ssflogin.bsc.es
+      User rarias
+    Host hut
+      ProxyJump ssfhead
+      HostName xeon07
+  '';
+}
diff --git a/m/raccoon/configuration.nix b/m/raccoon/configuration.nix
index 716963c9..3546c9c5 100644
--- a/m/raccoon/configuration.nix
+++ b/m/raccoon/configuration.nix
@@ -5,6 +5,7 @@
     ../common/base.nix
     ../module/emulation.nix
     ../module/debuginfod.nix
+    ../module/ssh-hut-extern.nix
     ../eudy/kernel/perf.nix
   ];
 
diff --git a/m/tent/configuration.nix b/m/tent/configuration.nix
index 7cb28454..8d772bfb 100644
--- a/m/tent/configuration.nix
+++ b/m/tent/configuration.nix
@@ -5,6 +5,7 @@
     ../common/xeon.nix
     ../module/emulation.nix
     ../module/debuginfod.nix
+    ../module/ssh-hut-extern.nix
   ];
 
   # Select the this using the ID to avoid mismatches
@@ -35,4 +36,10 @@
     port = 9002;
     listenAddress = "127.0.0.1";
   };
+
+  programs.ssh.extraConfig = ''
+    Host hut
+      ProxyJump ssfhead
+      HostName xeon07
+  '';
 }