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.

History

Stephen Kirby 2f248dd91f placeholder test for jupyterlab with pip		2 years ago
..
README.md	fix: move code-server settings to machine	2 years ago
main.test.ts	placeholder test for jupyterlab with pip	2 years ago
main.tf	Make `code-server` display name variable (#60 )	2 years ago
run.sh	add jupyter notebook (#59 )	2 years ago

README.md

display_name

description

icon

maintainer_github

verified

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 = "https://registry.coder.com/modules/code-server"
    agent_id = coder_agent.example.id
}

Examples

Pin Versions

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

Pre-install Extensions

Install the Dracula theme from OpenVSX:

module "code-server" {
    source = "https://registry.coder.com/modules/code-server"
    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 = "https://registry.coder.com/modules/code-server"
    agent_id = coder_agent.example.id
    extensions = [ "dracula-theme.theme-dracula" ]
    settings = {
        "workbench.colorTheme" = "Dracula"
    }
}

Offline Mode

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

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