| Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision |
| software:vscode:caviness [2024-03-28 11:09] – anita | software:vscode:caviness [2024-04-24 14:46] – [Using SSH keys] thuachen |
|---|
| "remote.SSH.localServerDownload": "off", | "remote.SSH.localServerDownload": "off", |
| "remote.SSH.lockfilesInTmp": true, | "remote.SSH.lockfilesInTmp": true, |
| | "remote.SSH.useLocalServer": true, |
| | "remote.SSH.useExecServer": false, |
| "remote.SSH.enableRemoteCommand": true | "remote.SSH.enableRemoteCommand": true |
| </code> | </code> |
| {{:software:vscode:vscode-7.png?400|}} | {{:software:vscode:vscode-7.png?400|}} |
| |
| It will open the Config file located in the path specified by ''~/vscode-remote-ssh/config''. You may have multiple configurations used for Caviness with different Host names. For example, in this Config file, ''Host Caviness'' starts the interactive job on the ''devel'' partition and requests 4 CPUs for the remote shell to use. '' Host CavinessGPU'' requests the GPU for the interactive job. | It will open the Config file located in the path specified by ''~/vscode-remote-ssh/config''. You may have multiple configurations used for Caviness with different Host definitions. For example, in this Config file, ''Host Caviness'' starts the interactive job on the ''devel'' partition and requests 4 CPUs for the remote shell to use. '' Host CavinessGPU'' requests a P100 GPU for the interactive job on the ''devel'' partition. |
| |
| For this example, the Config file ''~/vscode-remote-ssh/config'' contains the following definitions (remember User ''traine'' should be replace with your username as well as possible partition and other options) | For this example, the Config file ''~/vscode-remote-ssh/config'' contains the following definitions (remember User ''traine'' should be replace with your username as well as possible partition and other options) |
| For Windows, run the following command in a local PowerShell as administrator: | For Windows, run the following command in a local PowerShell as administrator: |
| <code> | <code> |
| ssh-keygen -t ed25519 -f "$HOME\.ssh\id_ed25519-remote-ssh.pub" | ssh-keygen -t ed25519 -f "$HOME\.ssh\id_ed25519-remote-ssh" |
| $USER_AT_HOST="your-user-name@caviness.hpc.udel.edu" | $USER_AT_HOST="your-user-name@caviness.hpc.udel.edu" |
| $PUBKEYPATH="$HOME\.ssh\id_ed25519-remote-ssh.pub" | $PUBKEYPATH="$HOME\.ssh\id_ed25519-remote-ssh.pub" |