diff options
author | Marius Bakke <marius@gnu.org> | 2020-06-06 21:25:43 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2020-06-06 21:25:43 +0200 |
commit | 7ce1b5e7b74d6409d0bd0bc4272f65edc34fd9df (patch) | |
tree | 504a250d235a3bc39571e6af1c755077390a371f /gnu/installer/final.scm | |
parent | f20d1cfb51ed14f325da000406807076323f70bc (diff) | |
parent | b69ca4d234db8fe2750e9b0d6b6139a5a89a4da6 (diff) |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/installer/final.scm')
-rw-r--r-- | gnu/installer/final.scm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/installer/final.scm b/gnu/installer/final.scm index 4c2da484c9..ece1aff95c 100644 --- a/gnu/installer/final.scm +++ b/gnu/installer/final.scm @@ -128,7 +128,7 @@ USERS." (match (string-tokenize (read-string port) %not-nul) ((argv0 _ ...) (unless (member (pk (basename argv0)) spare) - (syslog "Killing process ~a~%" pid) + (syslog "Killing process ~a (~a)~%" pid argv0) (kill pid SIGKILL))) (_ #f)))))) pids))) @@ -146,6 +146,8 @@ be much appreciated." (catch #t (lambda () (let ((tmp-dir "/remove")) + (syslog "Unmounting cow-store.~%") + (mkdir-p tmp-dir) (mount (%store-directory) tmp-dir "" MS_MOVE) |