Developer
add7c1b500
- Standardize built-in tool users for shared writable profile mounts - Mount canonical non-Git profile sources across compatible instances - Report restart-required outcomes and guard active profile deletion - Surface restart feedback in config profile editing Quality gates: frontend build passed; backend py_compile and LSP passed. Skipped: backend pytest/Ruff unavailable; Docker/manual checks not approved.
Tool Images
This directory contains Dockerfile templates for the base tool types used in Headquarter.
Available Images
| File | Tool | Description |
|---|---|---|
base.dockerfile |
- | Common base with git, nvim, ranger, tmux, node |
code-server.dockerfile |
VS Code | Browser-based VS Code with extra tools |
jupyter.dockerfile |
Jupyter | Jupyter Lab/Notebook with extra tools |
opencode.dockerfile |
OpenCode | OpenCode agent server |
pi-agent.dockerfile |
Pi Agent | Pi coding agent with full terminal setup |
Usage
When creating a tool type in the Tool Workshop, you can reference these Dockerfiles:
- Copy the contents of the desired
.dockerfile - Paste into the "Dockerfile Template" field
- Set
definition_typetodockerfile
Building Locally
To test an image locally:
cd tool-images
docker build -f pi-agent.dockerfile -t pi-agent:latest .
docker run -it pi-agent:latest
Customizing
All images include:
- git - Version control
- neovim - Terminal editor
- ranger - Terminal file manager
- tmux - Terminal multiplexer
- htop - Process viewer
- tree - Directory tree
- jq - JSON processor
- Node.js 20 - For npm-based tools
The pi-agent image additionally includes the Pi Coding Agent for AI-assisted development.
Adding New Images
- Create a new
.dockerfilein this directory - Use
base.dockerfileas a starting point if applicable - Document it in the table above
- Update the tool type in the database via the Tool Workshop