diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-12 20:14:47 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-09-12 20:14:47 +0200 |
| commit | 3f8679be9373ee7508d512dfdfc1dda0839c7f90 (patch) | |
| tree | ec02eb075f6c4e90f21baa2fe674e86a2f7f6a62 /docs | |
| parent | 24a84671ace373ae331fa83a1ff484990f4dff0e (diff) | |
| download | krino-3f8679be9373ee7508d512dfdfc1dda0839c7f90.tar.gz krino-3f8679be9373ee7508d512dfdfc1dda0839c7f90.zip | |
krino: acting — trash, journal, apply, lock, review, undo
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/design.md | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/design.md b/docs/design.md index 092738a..42c691c 100644 --- a/docs/design.md +++ b/docs/design.md @@ -445,8 +445,10 @@ Reversals, last step first within each file: | delete permanent | none; reported as not undoable | always | If a reversal is refused, the earlier steps of that file's chain are not -reversed either, so no file is left half undone. Undo runs are logged like -any other run. +reversed either, so no file is left half undone. Removing a directory that is +not empty is the exception: it means another file still lives there, not that +the world changed under us, so that refusal is recorded and the rest of the +file's reversal proceeds. Undo runs are logged like any other run. ## 11. Command line |