diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2021-06-11 19:19:59 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-06-12 09:31:33 +0200 |
| commit | f5d9d6ec68f78f5651bd5a698f489ab57bf77d5d (patch) | |
| tree | 5716f9f3072e00d13387ee38622baa9a93e20dea /gnu/installer/newt/partition.scm | |
| parent | 1a0a18d0ccc6cb6c7f4e42a0d659340f13b206c5 (diff) | |
installer: Check partitions UUIDs.
* gnu/installer/parted.scm (&cannot-read-uuid): New condition.
(cannot-read-uuid?, cannot-read-uuid-partition): New procedures.
(check-user-partitions): Check that all user-partitions have a valid UUID,
raide the above condition otherwise.
* gnu/installer/newt/partition.scm (run-disk-page): Run an error page if the
&cannot-read-uuid condition is raised.
Diffstat (limited to 'gnu/installer/newt/partition.scm')
| -rw-r--r-- | gnu/installer/newt/partition.scm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/installer/newt/partition.scm b/gnu/installer/newt/partition.scm index 1f920f5903..1c0444b67f 100644 --- a/gnu/installer/newt/partition.scm +++ b/gnu/installer/newt/partition.scm @@ -709,6 +709,13 @@ by pressing the Exit button.~%~%"))) (run-error-page (G_ "No root mount point found.") (G_ "Missing mount point")) + #f) + ((cannot-read-uuid? c) + (run-error-page + (format #f (G_ "Cannot read the ~a partition UUID.\ + You may need to format it.") + (cannot-read-uuid-partition c)) + (G_ "Wrong partition format")) #f)) (check-user-partitions user-partitions)))) (if user-partitions-ok? |