summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-10-28 15:09:48 +0100
committerLudovic Courtès <ludo@gnu.org>2020-10-28 16:24:47 +0100
commit6d1fd37182f17e4178e2950a22a5aed0ba135587 (patch)
treee96043d33e227ab148d2d0b47063a4e9332c12fa /gnu
parent0105b8624dbba539677ebbfd0dc0bd35143c6fad (diff)
installer: Log partition formatting.
* gnu/installer/newt/partition.scm (run-partitioning-page): Add 'syslog' call.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/installer/newt/partition.scm3
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/installer/newt/partition.scm b/gnu/installer/newt/partition.scm
index ed38287fe8..3b891d693a 100644
--- a/gnu/installer/newt/partition.scm
+++ b/gnu/installer/newt/partition.scm
@@ -777,5 +777,8 @@ by pressing the Exit button.~%~%")))
;; Make sure the disks are not in use before proceeding to formatting.
(free-parted non-install-devices)
(format-user-partitions user-partitions-with-pass)
+ (syslog "formatted ~a user partitions~%"
+ (length user-partitions-with-pass))
+
(destroy-form-and-pop form)
user-partitions))