diff options
Diffstat (limited to 'docs/design.md')
| -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 60bfc92..59c64bd 100644 --- a/docs/design.md +++ b/docs/design.md @@ -579,7 +579,7 @@ not acted on: 3 busy · 12 ignored · 210 unmatched (-v lists them) | outcome line | the applied count green when above 0, the failed count red when above 0 | | prompt keys `[a]` `[y]` … | bold | | the choice echoed in review, `→ yes` … | red | - | `krino log`'s `(undone)` | faint | + | `krino log`'s `(undone)` and `(partly undone)` | faint | Permanent deletes are always marked in capitals, so they stand out without colour too. @@ -658,7 +658,9 @@ not logged; declined files are. ## 10. Undo -- `krino log` lists recent runs: id, time, directories, counts. +- `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). - `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. |