diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-10-28 15:09:48 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-10-28 16:24:47 +0100 |
| commit | 6d1fd37182f17e4178e2950a22a5aed0ba135587 (patch) | |
| tree | e96043d33e227ab148d2d0b47063a4e9332c12fa /gnu/installer | |
| parent | 0105b8624dbba539677ebbfd0dc0bd35143c6fad (diff) | |
installer: Log partition formatting.
* gnu/installer/newt/partition.scm (run-partitioning-page): Add 'syslog' call.
Diffstat (limited to 'gnu/installer')
| -rw-r--r-- | gnu/installer/newt/partition.scm | 3 |
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)) |