diff options
| author | Gabriel Schneider <[email protected]> | 2026-09-21 16:56:35 -0300 |
|---|---|---|
| committer | Gabriel Schneider <[email protected]> | 2026-09-21 16:56:35 -0300 |
| commit | 534c084fb7ab8e3776b25017c901899964490a5d (patch) | |
| tree | 8ea20896d1da46c63f6cba2f7de5603e17c06012 /9harness/src/active.zig | |
| parent | dddd556accea6b6ea7802cd3f622f8b3cf8eb43f (diff) | |
| download | cloud9-534c084fb7ab8e3776b25017c901899964490a5d.tar.gz cloud9-534c084fb7ab8e3776b25017c901899964490a5d.zip | |
9harness: drop the zmxify script; the mount is the replacement
The script listed /active, ran fzf over it and wrote the chosen name
into an agent's zmx. Everything in it but the picker, a free-name loop
and the attach was `ls` and `cat` against the tree — 130 lines
re-deriving what four lines of shell already read:
ls /mnt/9p/harness/active/*/*
cat /mnt/9p/harness/active/claude/345104/session
echo mine > /mnt/9p/harness/active/claude/345104/zmx
zmx attach mine
zmxify was 307 lines of rc because there was no filesystem to ask. The
answer to that is the filesystem, not a smaller script on top of it,
which would only become a second and worse interface beside the real
one. DESIGN.md keeps what a caller now arranges itself (a free name,
the attach) and why the old script's own-ancestry rule is gone rather
than moved.
Diffstat (limited to '9harness/src/active.zig')
| -rw-r--r-- | 9harness/src/active.zig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/9harness/src/active.zig b/9harness/src/active.zig index 0a1a60d..fb55cf6 100644 --- a/9harness/src/active.zig +++ b/9harness/src/active.zig @@ -51,8 +51,8 @@ pub const Kind = enum(u8) { /// How a session was resolved — reported, so a wrong guess is visible /// rather than silent. `none` means the process is listed with what -/// `/proc` knows and nothing more (codex and hermes keep their sessions -/// in sqlite, which this round does not read). +/// `/proc` knows and nothing more, and cannot be moved: hermes is the +/// only harness that always lands here. pub const Via = enum(u8) { none, registry, |