Pip at 20:00, 1 September 2026

2026-09-01T20:00:57Z

Pip: Created page with "'''VS Code ''' is a common desktop coding environment. We support the use of the VS Code Remote SSH plugin to connect to our Linux clients, but we..."

2026-09-01T19:58:45Z

Created page with "'''VS Code ''' is a common desktop coding environment. We support the use of the VS Code Remote SSH plugin to connect to our Linux clients, but we..."

New page

'''VS Code ''' is a common desktop coding environment. We support the use of the VS Code Remote SSH plugin to connect to our [[:Category:Linux Clients|Linux clients]], but we recommend a few specific settings.

== Recommended VS Code Settings for the CS Linux Clients ==

First, ''use the latest release of VS Code''. Older versions may have issues that have been addressed in newer releases.

Second, open your settings and make sure the following are set:

* Remote.SSH: '''Use Flock''' should be ''checked''
* Remote.SSH: '''Remote Server Listen On Socket''' should be ''checked''

== If you have problems with Remote SSH ==

''First'', make sure the two above settings are set. If "Use Flock" is not checked, VS Code may have problems including problems with only setting itself up partially. If "Remote Server Listen On Socket" is not checked, you might have problems with the Remote SSH plugin's dynamic port forwarding.

''Second'', make sure you can use your computer's native [[Connecting to CS Systems with SSH|SSH]] client (''not'' VS Code) to connect to our system. If your non–VS Code SSH client doesn't work either, you can contact {{mailto|support}} with the output of your SSH client for assistance.

''Third'' (if your system's SSH client works, but VS Code's Remote SSH plugin does not), try resetting the server-side VS Code configuration:

<ol>
<li> Exit all of your VS Code sessions. (Close all your VS Code windows.) </li>
<li> Delete the <code>.vscode-server</code> directory in your grad or ugrad home directory. You can do that by SSHing to the Linux client you used with VS Code and running:
: <kbd>rm -fr ~/.vscode-server</kbd>
: If the directory doesn't exist, that's okay.</li>
<li> Try connecting to the CS Grad or Ugrad system again.</li>
</ol>

''Finally'', you can contact {{mailto|support}} for further assistance. Please include the following information:

* The system you're connecting from
* The system you're trying to connect to
* Whether you've tried using SSH without VS Code to connect to our system
* A copy or screenshot of the SSH output in VS Code

[[Category:SSH]]
[[Category:Software]]

@@ Line 22: / Line 22: @@
 <li> Delete the <code>.vscode-server</code> directory in your grad or ugrad home directory.  You can do that by SSHing to the Linux client you used with VS Code and running:
 : <kbd>rm -fr ~/.vscode-server</kbd>
-: If the directory doesn't exist, that's okay.</li>
+: If the directory doesn't exist, that's okay.
 <li> Try connecting to the CS Grad or Ugrad system again.</li>
 </ol>

Visual Studio Code - Revision history

Pip at 20:00, 1 September 2026

Pip: Created page with "'''VS Code ''' is a common desktop coding environment. We support the use of the VS Code Remote SSH plugin to connect to our Linux clients, but we..."