... | ... | @@ -8,7 +8,7 @@ In case it does not work, please reach out to me via Mattermost or document an i |
|
|
( To do so, press COMMAND + SHIFT + P in VSCode on Mac and select “Kill VS Code Server on Host…” )
|
|
|
|
|
|
# Important note:
|
|
|
If you use the VSCode Remote SSH extension, do not use "hpc.pik-potsdam.de" but "login0X-24.pik-potsdam.de", with X in {1, 2, 3, 4} as the hostname! When ending a session, press CTRL + SHIFT + P and select “Kill VS Code Server on Host…” and select the same host.
|
|
|
If you use the VSCode Remote SSH extension, do not use "hpc.pik-potsdam.de" but "login0X-24.pik-potsdam.de", with X in {1, 2, 3, 4} as the hostname! After closing a session, press CTRL + SHIFT + P and select “Kill VS Code Server on Host…” and select the same host.
|
|
|
|
|
|
This is because “clushpcter” is an alias for one or other of the login nodes, selected based on which node has the lowest current load. Repeated connections to “hpc” via the Remote SSH extension fail to reuse existing vscode-server processes, which then accumulate over time. (Exerpt from [Connection failures when using VSCode Remote SSH Extension](Troubleshooting/Problems with solutions/Connection failures when using VSCode Remote SSH Extension))
|
|
|
|
... | ... | @@ -78,7 +78,7 @@ When you first log in to a new host address you have accept the connection with |
|
|
|
|
|
{width=463 height=86}
|
|
|
|
|
|
6. IMPORTANT: When ending your sessions, you need to “Kill VS Code Server on Host…” to not cause errors. On Mac: press COMMAND + SHIFT + P in VSCode and select “Kill VS Code Server on Host…” and select the same host you are currently connected to.
|
|
|
6. IMPORTANT: When ending your sessions, you need to close the remote connection. Click on the bottom left to open the menu. I also recommend to “Kill VS Code Server on Host…” to [not cause errors](Troubleshooting/Problems with solutions/Connection failures when using VSCode Remote SSH Extension). On Mac: press COMMAND + SHIFT + P in VSCode and select “Kill VS Code Server on Host…” and select the same host you were connected to.
|
|
|
|
|
|
{width=750 height=319}
|
|
|
|
... | ... | |