Remove coder config
This commit is contained in:
parent
d5ac902d1d
commit
3142c108f4
1 changed files with 0 additions and 11 deletions
|
|
@ -7,16 +7,5 @@
|
|||
compression = true;
|
||||
};
|
||||
};
|
||||
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 ---
|
||||
'';
|
||||
};
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue