From 2a7452c3fd83000f239755825f38246f8537b6cc Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Tue, 15 Sep 2026 00:33:47 +0200 Subject: a permanently deleted file's steps do not keep a run partly undone --- docs/design.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'docs/design.md') diff --git a/docs/design.md b/docs/design.md index 744ef05..e8dd1af 100644 --- a/docs/design.md +++ b/docs/design.md @@ -664,7 +664,8 @@ not logged; declined files are. - `krino log` lists recent runs: id, time, directories, counts, and `(undone)` once undo has reversed every reversible step of a run, or - `(partly undone)` while some are not (declined, refused or failed). + `(partly undone)` while some are not (declined, refused or failed). A file + whose chain ends in a permanent delete is never undoable and not counted. - `krino undo` reverses the most recent run, in every directory it touched. An older run is undone by naming it: `krino undo RUN`. Undo runs cannot themselves be undone: naming one is refused. -- cgit v1.3