diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/krino.1 | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/man/krino.1 b/man/krino.1 index e7d93eb..c0bba9d 100644 --- a/man/krino.1 +++ b/man/krino.1 @@ -208,7 +208,9 @@ Reverse .Ar run . With no .Ar run , -reverse the most recent run; if that run is itself an undo, it is refused. +reverse the most recent run; if that run is itself an undo, continue it: +the run it undid is planned again, offering only the reversals it did not +complete. An older run is undone by naming it. See .Sx UNDO . @@ -311,6 +313,9 @@ and An undo run cannot itself be undone: naming it to .Ic undo is refused. +Reversals an earlier undo of the same run completed are never offered +again, so an undo that stopped part way is finished by undoing the run +once more. .Pp A step's reversal is refused when the world has moved on since the step ran .Pq its target is gone or has changed, or the original path is occupied again ; |