You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
modules/code-server/README.md

2.2 KiB

display_name description icon maintainer_github verified tags
code-server VS Code in the browser ../.icons/code.svg coder true
helper
ide
web

code-server

Automatically install code-server in a workspace, create an app to access it via the dashboard, install extensions, and pre-configure editor settings.

module "code-server" {
  source = "registry.coder.com/modules/code-server/coder"
  version = "1.0.0"
  agent_id = coder_agent.example.id
}

Screenshot 1

Examples

Pin Versions

module "code-server" {
  source          = "registry.coder.com/modules/code-server/coder"
  version         = "1.0.0"
  agent_id        = coder_agent.example.id
  install_version = "4.8.3"
}

Pre-install Extensions

Install the Dracula theme from OpenVSX:

module "code-server" {
  source = "registry.coder.com/modules/code-server/coder"
  version = "1.0.0"
  agent_id = coder_agent.example.id
  extensions = [
    "dracula-theme.theme-dracula"
  ]
}

Enter the <author>.<name> into the extensions array and code-server will automatically install on start.

Pre-configure Settings

Configure VS Code's settings.json file:

module "settings" {
  source = "registry.coder.com/modules/code-server/coder"
  version = "1.0.0"
  agent_id = coder_agent.example.id
  extensions = [ "dracula-theme.theme-dracula" ]
  settings = {
    "workbench.colorTheme" = "Dracula"
  }
}

Install multiple extensions

Just run code-server in the background, don't fetch it from GitHub:

module "settings" {
  source = "registry.coder.com/modules/code-server/coder"
  version = "1.0.0"
  agent_id = coder_agent.example.id
  extensions = [ "dracula-theme.theme-dracula", "ms-azuretools.vscode-docker" ]
}

Offline Mode

Just run code-server in the background, don't fetch it from GitHub:

module "settings" {
  source = "registry.coder.com/modules/code-server/coder"
  version = "1.0.0"
  agent_id = coder_agent.example.id
  offline = true
}