feat: mount host filesystem read-only with isolate.sh fallback #439
+121
−16
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Problem
Host filesystem mounted read-write (
/:/host:rw) allows accidental or malicious writes during command execution. Need security hardening while preserving ability to execute host binaries not present in container.Changes
Mount configuration
docker-manager.ts: Changed default mount from/:/host:rw→/:/host:roCommand isolation wrapper
isolate.shscript provides transparent host binary fallback:/hostmount → chroot to host if binary found thereIntegration
Dockerfile: Install isolate.sh to/usr/local/bin/entrypoint.sh: Wrap all user commands with isolate.sh automaticallyExample behavior:
Security model
set -e, POSIX-compliant path testsDocumentation
Updated
AGENTS.mdwith architecture details andtypes.tswith new default mount mode.Original prompt
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.