The computing resources within the UVA CS department allow for remote code development. Typically, software used is either (VSCode) by Mircosoft and (JetBrains Gateway).

Generally, if a IDE program allows for accessing a resource via SSH, you will be able to use it to develop code remotely on a CS server

To avoid documentation here becoming outdated, please also refer to the (VSCode) or (JetBrains Gateway ) documentation for setting up a connection.

Please note, if you're attempting to connect to a server that is not portal, you must either be on-grounds connected to eduroam, or using a (UVA ITS VPN Connection). Otherwise, you will only be able to connect to portal. Most IDE software does not have a jumphost option, but if yours does, see (UVA CS Jumphost).

Remote development tools also work with software modules.

To connect an IDE to a server, the information you enter will be identical to an SSH command

• In your IDE of choice, open the menu to enter connection details
  1. Hostname: <server name>.cs.virginia.edu
  2. Username: <userid>
  3. Password: <your CS dept. password>

Once you have finished, ensure you disconnect the remote session to free resources. This does not mean simply exiting out of your IDE. You must disconnect the session.