From a095922ffdd1128c75efca72ec9a70969d49d29a Mon Sep 17 00:00:00 2001 From: Gabriel Schneider Date: Thu, 1 Oct 2026 03:56:38 -0300 Subject: The docs say Grep is a literal search, that a write's own status comes before the log's last err, and that Delcol opens no +Unsaved Co-Authored-By: Claude Opus 5.5 --- docs/typ/scripting.typ | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'docs/typ/scripting.typ') diff --git a/docs/typ/scripting.typ b/docs/typ/scripting.typ index 03496ee2..8cb03a8b 100644 --- a/docs/typ/scripting.typ +++ b/docs/typ/scripting.typ @@ -140,9 +140,12 @@ pardes the editor of every program run there. = Traps -- A refused write says only `Invalid argument` or `Input/output error`; the - reason is the `err` record in the log (`tail -1 $m/log`). Only writes - log: a refused open, truncation or `rmdir` has its errno alone. +- Check the write's own status first: a refused write says only `Invalid + argument` or `Input/output error`, and only then is the log's last `err` + record its reason: `echo Save > $p/ctl || tail -1 $m/log`. A write that + succeeds adds no record, so after a success the log's tail may still show + an older, unrelated `err`. Only writes log: a refused open, truncation or + `rmdir` has its errno alone. - #file("addr") belongs to the pane, not to you, and moves on: each `/re/` searches from the last address, a #file("data") write leaves it just past what it wrote, and a read moves it too. Write #file("addr") -- cgit v1.3