Working on a remote machine

Prerequisites

To successfully complete this tutorial, you must do the following:

• Install Visual Studio Code.

• Install the Ada extension for VS Code. You can install the Ada extension by searching for 'adacore' in the Extensions view (Ctrl+Shift+X).

• Install the Remote - SSH extension. You can install it by searching for 'Remote - SSH' in the Extensions view (Ctrl+Shift+X).

• Have an up and running SSH installation on both your host and remote platforms, allowing you to connect to your remote machine from a regular console (see the extension's documentation for more information about SSH requirements)

Configure your SSH targets

Now that you have the plugin installed you can configure it to connect to a server. To do so, you’ll need the following pieces of information:

• The server’s IP or hostname.
• The username you’ll connect with.
• The private key you’ll use to authenticate your user.

You’ll use this information to create an SSH configuration file that VS Code can use to SSH to the server to sync files and execute code on your behalf.

To do that, open the Remote Explorer view and click on the toolbar Settings button. This will ask you to select a SSH configuration file, which lists all the needed information to connect to your remote machines.

(insert screen of settings button)

After saving your SSH configuration file, you should now see all the servers in the Remote Explorer view. Just click on the Connect to Host in New Window to connect to the sever of your choice. If a passphrase is needed, VS Code will ask for it via an input dialog.

(insert screen of connect button)

Once you are connected, you will be able to open the workspace or folder of your choice and develop as if you were running VS Code locally!