The Visual Studio Code Remote - SSH extension allows you to open a remote folder on any remote machine, virtual machine, or container with a running SSH server and take full advantage of VS Code's feature set. Once connected to a server, you can interact with files and folders anywhere on the remote filesystem.
No source code needs to be on your local machine to gain these benefits since the extension runs commands and other extensions directly on the remote machine.
This lets VS Code provide a local-quality development experience - including full IntelliSense (completions), code navigation, and debugging - regardless of where your code is hosted.
(From here: https://code.visualstudio.com/docs/remote/ssh)
So, here is a guide to connect to mimi.uio.no:
- On your client: Install Visual Studio Code.
- Install the Remote-SSH extension.
-
In VS Code, select Remote-SSH: Connect to Host... from the Command Palette (F1, Ctrl+Shift+P) and use user@mimi.uio.no (Make sure you have ssh keys set up)
- After you are connected, you'll be in an empty window. You can always refer to the Status bar to see which host you are connected to.
- You can then open any folder or workspace on the remote machine using File > Open... or File > Open Folder... just as you would locally!
- Using the SHH Remote Explorer allows you to keep your favorite servers listed.
See how you can work with your Jupyter Notebooks using VS Code Remote SSH here.