bertof/nix-dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixup! VSCode test

Browse source
This commit is contained in:
Filippo Berto 2024-10-28 16:11:04 +01:00
parent 1810f60f31
commit 4a01b0021a
No known key found for this signature in database
GPG key ID: FE98AE5EC52B1056
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
modules/hm/ssh.nix
View file

@ -7,5 +7,16 @@
identityFile = "~/.ssh/id_ed25519"; 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 ---
'';
}; };
} }