Devsy
Developing in a Workspace

Connect to a Workspace

Once a workspace is created, it is reachable over SSH at WORKSPACE_NAME.devsy. If you chose an IDE, Devsy opens it after the workspace starts.

Pick the IDE with --ide when you start a workspace, or set a default for all workspaces:

devsy workspace up my-workspace --ide vscode
devsy ide use vscode

Run devsy ide list to see every supported IDE.

VS Code in the browser

Devsy installs openvscode-server in the workspace and tunnels to it from localhost.

devsy workspace up my-workspace --ide openvscode

VS Code

Install the Remote - SSH extension and the code CLI, then:

devsy workspace up my-workspace --ide vscode

If that fails, connect VS Code to WORKSPACE_NAME.devsy over SSH.

JetBrains IDEs

Install JetBrains Gateway. You need a license for the IDE you use. Start the workspace with the IDE name, for example:

devsy workspace up my-workspace --ide goland

Devsy installs the IDE server in the workspace and opens Gateway. Click Check Connection and Continue in the prefilled SSH dialog. If that fails, connect Gateway to WORKSPACE_NAME.devsy over SSH.

Fleet works only through a manually added SSH connection to WORKSPACE_NAME.devsy.

SSH

Devsy adds a WORKSPACE_NAME.devsy entry to ~/.ssh/config when it creates a workspace.

ssh WORKSPACE_NAME.devsy

Any IDE with remote SSH support can use this host. Without an ssh client, use the CLI:

devsy workspace ssh my-workspace
devsy workspace ssh my-workspace --command "echo Hello World"

IDE options

Each IDE has options such as the version. List and change them with:

devsy ide get openvscode
devsy ide set openvscode -o VERSION=v1.76.2

You can also set an option for a single workspace with --ide-option VERSION=... on devsy workspace up.

Desktop shortcuts

  • Cmd/Ctrl + K opens the command palette.
  • Cmd/Ctrl + N starts the New Workspace wizard.
  • Cmd/Ctrl + 1 to 8 jumps between the main sections.
  • Esc closes the open sheet, dialog, or palette.

On this page