Visual Studio Remote Development: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[https://github.com/Microsoft/vscode-remote-release#readme Remote development ] is a set of extensions for Visual Studio Code that allows you to interact with a remote server on VSCode as if it is running on your local computer. For more details, refer to Microsoft's documentation [https://code.visualstudio.com/docs/remote/remote-overview here]. | [https://github.com/Microsoft/vscode-remote-release#readme Remote development ] is a set of extensions for Visual Studio Code that allows you to interact with a remote server on VSCode as if it is running on your local computer. For more details, refer to Microsoft's documentation [https://code.visualstudio.com/docs/remote/remote-overview here]. | ||
== Enabling and configuring Remote | == Enabling and configuring Remote - SSH == | ||
=== Installing Remote | === Installing Remote - SSH === | ||
Follow the instructions [https://code.visualstudio.com/docs/editor/extension-marketplace here] for searching and installing extensions on VSCode. Search for and install the extension "Remote Development". | Follow the instructions [https://code.visualstudio.com/docs/editor/extension-marketplace here] for searching and installing extensions on VSCode. Search for and install the extension "Remote - SSH" (or if you are feeling fancy, install "Remote Development" that includes "Remote - SSH" instead). | ||
=== Adding a remote host/server === | === Adding a remote host/server === | ||
Revision as of 13:52, 15 November 2023
Remote development is a set of extensions for Visual Studio Code that allows you to interact with a remote server on VSCode as if it is running on your local computer. For more details, refer to Microsoft's documentation here.
Enabling and configuring Remote - SSH
Installing Remote - SSH
Follow the instructions here for searching and installing extensions on VSCode. Search for and install the extension "Remote - SSH" (or if you are feeling fancy, install "Remote Development" that includes "Remote - SSH" instead).
Adding a remote host/server
After reloading/reopening VSCode, on the activity bar (on the left) there should now be one more item "Remote Explorer". Click on that and a separate tab should pop up. Hover over "SSH" and a "+" symbol should show up. After clicking the "+" symbol, a prompt will show up and ask you to enter SSH connection command as if you are using a terminal app, such as
ssh your_username@astro02.hpc.ku.dk
Refer to Accessing Tycho for more explanations.