Developer
ddd92e3dd4
- Add ToolType.home_directory column with default /home/user
- Add Alembic migration to add column, set existing rows, and rewrite
/workspace to /home/user/{{WORKSPACE_NAME}} in legacy templates
- Add merge migration fc8f1a20cbf6 to resolve Alembic multiple heads
- Update manifest compiler to honor manifest.home_directory for HOME,
WORKDIR, /workspace symlink, and default repo mount target
- Update legacy dockerfile/compose instance generation to use
tool_type.home_directory
- Thread resolved home_dir through config profile and git mount expansion
- Generate entrypoint permission fixer to chown home/mounts at startup
- Update base.dockerfile with sudo/passwordless sudo for permission fixer
- Add unit tests for manifest compiler, instance service, and migrations
- Add placeholder integration test for container lifecycle
- Update openspec/tasks/home-path-expansion.md task checkboxes
- Update project maps for modified files
Quality gates: py_compile, ruff, mypy, pytest tests/unit (205 passed),
pytest tests/integration (110 passed, 35 skipped). Alembic round-trip
and container lifecycle integration tests require Docker/PostgreSQL.
41 lines
1.2 KiB
Docker
41 lines
1.2 KiB
Docker
# Base development image with common tools
|
|
FROM ubuntu:24.04
|
|
|
|
# Prevent interactive prompts during apt install
|
|
ENV DEBIAN_FRONTEND=noninteractive
|
|
|
|
# Install base tools plus sudo so the entrypoint permission fixer can
|
|
# chown runtime mounts staged by the API before dropping to the user.
|
|
RUN apt-get update && apt-get install -y \
|
|
curl \
|
|
wget \
|
|
git \
|
|
neovim \
|
|
ranger \
|
|
tmux \
|
|
htop \
|
|
tree \
|
|
jq \
|
|
ca-certificates \
|
|
sudo \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
# Create a non-root user and allow passwordless sudo so the startup
|
|
# permission fixer can adjust ownership of bind-mounted directories.
|
|
RUN useradd -m -s /bin/bash user \
|
|
&& echo "user ALL=(ALL) NOPASSWD:ALL" > /etc/sudoers.d/user \
|
|
&& chmod 0440 /etc/sudoers.d/user
|
|
WORKDIR /home/user
|
|
|
|
# Install Node.js (needed for pi and many dev tools)
|
|
RUN curl -fsSL https://deb.nodesource.com/setup_20.x | bash - \
|
|
&& apt-get install -y nodejs \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
# Set up git configuration defaults
|
|
RUN git config --global init.defaultBranch main \
|
|
&& git config --global user.email "dev@headquarter.local" \
|
|
&& git config --global user.name "Developer"
|
|
|
|
USER user
|
|
CMD ["/bin/bash"] |