--wip-- [skip ci]

This commit is contained in:
Filippo Berto 2025-09-08 11:36:45 +02:00
parent eea02abfcb
commit 762085707c
136 changed files with 261 additions and 261 deletions

22
hm/modules/ssh.nix Normal file
View file

@ -0,0 +1,22 @@
{
programs.ssh = {
enable = true;
compression = true;
matchBlocks = {
"*" = {
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 ---
'';
};
}