Visual Studio Code

Follow the How to Change Server Options steps to stop and re-start your server.

Getting Started in Visual Studio Code

If you are new to Visual Studio Code (VSCode), the Visual Studio Code User Guide - Get Started page provides a good overview of the interface and has step-by-step exercises you can perform to become familiar with the basics of Visual Studio Code.

Install Extensions

Follow Use extensions in Visual Studio Code to install Extensions.

Since code-server is running in the background to provide VSCode, we don’t have access to the official Microsoft Marketplace for extensions. Instead, code-server uses open-vsx as a replacement Marketplace. It supports many of the popular extensions including Prettier, ESLint, GitLens, and many more.

Follow the Create and Set Up a Virtual Environment to setup a virtual environment within VSCode similarly to JupyterLab.

Accessing Your Workspace

• Your files are stored in a persistent user directory workspace accessible via the File Explorer.

• To upload files: Drag and drop into the File Explorer or use the “Upload” button.

• To download files: Right-click a file and select “Download”.

• The three lines at the top left is the general menu

• Open the terminal via View > Terminal or Ctrl+\`.]