dev-container

# Dev Container Keep this skill limited to contributor setup and Docker image maintenance. Use `setup-arena` for ordinary installation, runtime selection, container startup, data mounts, and readiness checks. If an explicit `/dev-container` request is only about running Arena, hand it off to `setup-arena` and do not install contributor tooling. ## Bootstrap a contributor checkout Run these commands from the repository root: ```bash git submodule update --init --recursive pre-commit install ``` Run `pre-commit install` on the host, never inside the container. Confirm that `.git/hooks/pre-commit` exists and is executable. Do not run the test suite or all pre-commit hooks unless the user asks for them. Use the Docker route in `setup-arena` to build or start the normal runtime and perform the import smoke check. If a host prerequisite is missing, report the failed check and the documented recovery. Do not install or change GPU drivers, Docker, the NVIDIA Container Toolkit, or other system packages without explicit approval. ## Discover this checkout's container Never hardcode the container name. Resolve the running container that mounts this checkout: ```bash ARENA_CONTAINER=$(docker ps --filter "volume=$(git rev-parse --show-toplevel)" --format '{{.Names}}' | head -1) ``` Keep discovery and subsequent commands in the same shell, or substitute the resolved literal name. ## Rebuild the image Use the repository launcher from the repository root: ```bash ./docker/run_docker.sh -r # rebuild with cache ./docker/run_docker.sh -R # rebuild without cache ``` Before rebuilding, check whether this checkout's container is running. A rebuilt image does not replace a running container, so explain that the container must be stopped and recreated before it can use the new image. Obtain approval before stopping it, and note that non-mounted container state will be lost. After recreation, rediscover the container and rerun the import smoke check from `setup-arena`. Use `-R` only when the user explicitly requests a no-cache rebuild or a cached layer is the suspected cause. Preserve the launcher's automatic per-checkout suffix unless the user requests `-s <suffix>`. ## Run a development command Run commands as the host user, not root: ```bash docker exec "$ARENA_CONTAINER" su $(id -un) -c \ "cd /workspaces/isaaclab_arena && <command>" ``` Use `/isaac-sim/python.sh` explicitly for non-interactive Python commands; do not rely on the interactive `python` alias. ## Hand off - Use `run-tests` for pytest regression testing. - Run pre-commit hooks on the host when requested. - Use `commit-and-pr` only when the user asks to commit, push, or open a pull request.