diff options
Diffstat (limited to '.agents/skills/pardes-9p/SKILL.md')
| -rw-r--r-- | .agents/skills/pardes-9p/SKILL.md | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/.agents/skills/pardes-9p/SKILL.md b/.agents/skills/pardes-9p/SKILL.md index 9e540de8..f9d9e34d 100644 --- a/.agents/skills/pardes-9p/SKILL.md +++ b/.agents/skills/pardes-9p/SKILL.md @@ -80,11 +80,12 @@ $m/ctl the settings, one a line as a write takes them; write a setting or (Newcol makes an empty column, Dump, Theme x; Exit QUITS the editor, Kill [word...] stops the commands pardes started (command panes, lines it typed into shells), a word matching a command line's first word; Exit and Restore refuse once, - naming every unsaved pane, `<a>, <b>: Modified (Exit again to discard them all)`, and the same - word again DISCARDS that text -- not a retry, unlike lock's `file in use`; + naming every unsaved pane, `<a>, <b>: Modified (Exit again to discard)` (Restore's says + `Restore again`); a second refusal names only the panes edited since the last, + as acme's does, and the same word again with nothing edited since DISCARDS them all -- not a retry, unlike lock's `file in use`; Kill stops a command pane's whole line, `&` jobs included; of a line typed into a shell only the foreground job, and the shell decides the rest (of `sleep 30; echo done` - fish runs the echo, bash abandons the line); Joincol folds the keyboard's column into the one + bash and fish both run the echo); Joincol folds the keyboard's column into the one on its right, its panes going below that column's own, in order, and needs such a column); a pane's builtins (Del, Save f, Collapse, which folds that pane, and the column word Delcol, which closes that pane's column) go to $m/pane/<n>/ctl @@ -107,8 +108,10 @@ $m/os/ the host filesystem ``` The first field of an index row is a stable pane serial, not a slot or row -number. A row is `serial kind dirty name`, so `row.split(maxsplit=3)` keeps a -name with spaces intact. Re-read the index after anything that might open, +number. A row is `serial kind dirty name column`, the last word the pane's +column serial, so `head, col = row.rsplit(maxsplit=1)` then +`serial, kind, dirty, name = head.split(maxsplit=3)` keeps a name with spaces +intact. Re-read the index after anything that might open, reuse or close a pane. ```sh |