Coder dotfiles

Portable code-server settings and extensions for Coder workspaces.

Use with Coder

Make install.sh executable, commit this repository, and push it to your Git host. Then configure the repository URL as your Coder workspace's Dotfiles URL, or apply it with the CLI:

coder dotfiles --yes https://github.com/YOUR_USER/dotfiles.git

Coder detects and runs the executable install.sh. The script:

• copies settings into code-server without letting editor rewrites dirty this repository;
• installs unpinned extensions into code-server; and
• adds install-code-server-extensions to ~/.local/bin for manual retries.

If the code-server CLI is not present while Coder provisions the workspace, run this after code-server starts:

~/.local/bin/install-code-server-extensions

This repository does not manage settings or extensions for VS Code Desktop or Cursor. Those editors remain available through Coder but retain their own configuration.

Maintain

Keep code-server/extensions.txt to extension IDs only. Versions are intentionally not pinned so a new workspace gets releases compatible with code-server. Keep secrets, authentication state, workspace storage, and machine-specific SSH settings out of this repository.