From 4a01b0021aaa97c88f889eebcc87d11a713e92a8 Mon Sep 17 00:00:00 2001
From: Filippo Berto <berto.f@protonmail.com>
Date: Mon, 28 Oct 2024 16:11:04 +0100
Subject: [PATCH] fixup! VSCode test

---
 modules/hm/ssh.nix | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/modules/hm/ssh.nix b/modules/hm/ssh.nix
index 5e42ea6..105d90b 100644
--- a/modules/hm/ssh.nix
+++ b/modules/hm/ssh.nix
@@ -7,5 +7,16 @@
         identityFile = "~/.ssh/id_ed25519";
       };
     };
+    extraConfig = ''
+      # --- START CODER VSCODE coder.ricerca.sesar.di.unimi.it ---
+      Host coder-vscode.coder.ricerca.sesar.di.unimi.it--*
+        ConnectTimeout 0
+        LogLevel ERROR
+        ProxyCommand "/home/bertof/.config/Code/User/globalStorage/coder.coder-remote/coder.ricerca.sesar.di.unimi.it/bin/coder-linux-amd64" vscodessh --network-info-dir "/home/bertof/.config/Code/User/globalStorage/coder.coder-remote/net" --session-token-file "/home/bertof/.config/Code/User/globalStorage/coder.coder-remote/coder.ricerca.sesar.di.unimi.it/session_token" --url-file "/home/bertof/.config/Code/User/globalStorage/coder.coder-remote/coder.ricerca.sesar.di.unimi.it/url" %h
+        SetEnv  CODER_SSH_SESSION_TYPE=vscode
+        StrictHostKeyChecking no
+        UserKnownHostsFile /dev/null
+      # --- END CODER VSCODE coder.ricerca.sesar.di.unimi.it ---
+    '';
   };
 }