aboutsummaryrefslogtreecommitdiff
path: root/man/krino.1
diff options
context:
space:
mode:
Diffstat (limited to 'man/krino.1')
-rw-r--r--man/krino.18
1 files changed, 6 insertions, 2 deletions
diff --git a/man/krino.1 b/man/krino.1
index 246184b..e9d41da 100644
--- a/man/krino.1
+++ b/man/krino.1
@@ -431,7 +431,8 @@ found after a directory name is a usage error rather than a guess.
.It 130
Interrupted
.Pq Ic Ctrl-C
-or terminated; the current step, if any, is finished and logged first.
+or terminated; the current step, if any, is finished and logged first, and
+the rest of that file's steps are skipped.
.El
.Sh KNOWN LIMITATIONS
.Ic krino explain
@@ -454,7 +455,10 @@ Wrapping counts characters, not terminal columns: a name in a wide script
(CJK) or with many combining marks can run past the terminal's width.
.Pp
A second interrupt exits at once: every step completed so far is logged
-and can be undone, but the step in flight when it arrived is not logged.
+and can be undone, but the step in flight when it arrived is not logged,
+and a copy in progress can leave a temporary
+.Pa .krino-*
+file and an empty directory behind.
.Pp
Undo identifies a file by its directory and its path within it.
A file one directory's rules move into another included directory, which