diff options
Diffstat (limited to '.agents/skills/pardes-9p/SKILL.md')
| -rw-r--r-- | .agents/skills/pardes-9p/SKILL.md | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/.agents/skills/pardes-9p/SKILL.md b/.agents/skills/pardes-9p/SKILL.md index 3060ad4a..ea2114ce 100644 --- a/.agents/skills/pardes-9p/SKILL.md +++ b/.agents/skills/pardes-9p/SKILL.md @@ -16,15 +16,14 @@ repository root. ## Find the session ```sh -[ -n "$NINE_MOUNT" ] || echo 'no 9P mount: use the Python client below' -s=${PARDES_9P##*/pardes-9p-}; m=$NINE_MOUNT/pardes/${s%.sock} +m=${PARDES_MOUNT:-} +[ -n "$m" ] || echo 'no mount: use 9p -a "unix!$PARDES_9P" read index' cat "$m/index" ``` -`$NINE_MOUNT` is set by `9ns --mntgen` (usually `/mnt/9p`). `$PARDES_9P` is -the session socket of the pane you run in, `$PARDES_PANE` that pane's -serial. Under `9ns --unix SOCK -- cmd` the session is the mount itself: -`m=$NINE_MOUNT`. In a `Tty9p` shell: `m=$PARDES_MOUNT`. A dead session's +Under `9ns --mntgen` every pane gets `$PARDES_MOUNT`, its session as a +directory (also in a `Tty9p` shell). `$PARDES_9P` is the session socket of +the pane you run in, `$PARDES_PANE` that pane's serial. A dead session's entry answers `Input/output error`: name the session, never glob. Without a mount, plan9port's `9p -a "unix!$PARDES_9P"` works, and `test/ninep.py` in the source tree (Reference, "Other ways in"). |