|
If you use the VSCode Remote SSH extension, do not use cluster.pik-potsdam.de as the hostname. Instead, pick one of login01.pik-potsdam.de or login02.pik-potsdam.de. 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 cluster.pik-potsdam.de as the hostname. Instead, pick one of login01.pik-potsdam.de or login02.pik-potsdam.de. When ending a session, press CTRL + SHIFT + P and select “Kill VS Code Server on Host…” and select the same host.
|