Visual Studio Remote Development: Difference between revisions
No edit summary |
|||
| Line 2: | Line 2: | ||
== Enabling and configuring Remote Development == | == Enabling and configuring Remote Development == | ||
=== Installing 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 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 Development". | ||
=== 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 | 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 | ||
<pre> | <pre> | ||
| Line 10: | Line 12: | ||
Refer to [[Accessing Tycho]] for more explanations. | Refer to [[Accessing Tycho]] for more explanations. | ||
== Installing | == Installing more extensions on a remote machine for extra features == | ||
=== for python === | === for python === | ||
=== for julia === | === for julia === | ||
=== for jupyter notebook === | === for jupyter notebook === | ||
Revision as of 13:47, 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 Development
Installing Remote Development
Follow the instructions here for searching and installing extensions on VSCode. Search for and install the extension "Remote Development".
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.