diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-15 00:33:47 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-15 00:33:47 +0200 |
| commit | 2a7452c3fd83000f239755825f38246f8537b6cc (patch) | |
| tree | 1413ef2f8776927efb7f37b6ba492330920ef3f3 /docs | |
| parent | eb31377e43fb26a6726b741978db83453fcd7bdd (diff) | |
| download | krino-2a7452c3fd83000f239755825f38246f8537b6cc.tar.gz krino-2a7452c3fd83000f239755825f38246f8537b6cc.zip | |
a permanently deleted file's steps do not keep a run partly undone
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/design.md | 3 |
1 files changed, 2 insertions, 1 deletions
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. |