isaac-sim 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:
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:
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:
./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:
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-testsfor pytest regression testing. - Run pre-commit hooks on the host when requested.
- Use
commit-and-pronly when the user asks to commit, push, or open a pull request.