feat(up): shared developer harness pool mounted into the container #19
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "feat-harness-pool"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Realizes
design/harness-descriptor.md§7 — the provisioning half. Makes multi-harness testing frictionless.What
A developer-scoped pool
$XDG_DATA_HOME/wraptool/harness-poolis created and--shared into every guix container:bin/→ prepended toPATH(harness binaries).home/→ the harnessHOME(its config/auth/state).So a harness binary and its auth are installed once, across all projects and sessions — no per-session reinstall or re-auth. It's the developer's toolbox: kept out of
manifest.scm(the project) and outside the credential-isolation boundary (host secrets stay host-side, reached via MCP).Verified e2e
A binary dropped in
pool/binis onPATHinside the container, runs under--emulate-fhs,HOME=pool/home, and state it writes persists on the host pool for the next session.Usage
~/.local/share/wraptool/harness-pool/bin/once (its own installer, or drop the native binary).wraptool up --harness <name>→ it's on PATH, auth persists.Build/vet/golangci-lint clean. (Shell-wiring; the e2e above is the verification — no unit test, to avoid writing into the real data dir.)
Follow-ups
wraptool harness install|listconvenience (design §7).connect.sh→wraptool init.🤖 Generated with Claude Code