modules/github-upload-public-key/README.md

display_name	description	icon	maintainer_github	verified	tags
Github Upload Public Key	Automates uploading Coder public key to Github so users don't have to.	../.icons/github.svg	f0ssel	false	helper

github-upload-public-key

module "github-upload-public-key" {
  source   = "registry.coder.com/modules/github-upload-public-key/coder"
  version  = "1.0.13"
  agent_id = coder_agent.example.id
}

Examples

Example 1

Install the Dracula theme from OpenVSX:

module "MODULE_NAME" {
  source     = "registry.coder.com/modules/MODULE_NAME/coder"
  version    = "1.0.2"
  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.

Example 2

Configure VS Code's settings.json file:

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

Example 3

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

module "MODULE_NAME" {
  source   = "registry.coder.com/modules/MODULE_NAME/coder"
  version  = "1.0.2"
  agent_id = coder_agent.example.id
  offline  = true
}