diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-16 23:08:20 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-17 14:04:28 +0100 |
| commit | 8cca59ee1234252f1c3fbd594fb552093be968d8 (patch) | |
| tree | 8a183528fd61d0658eaeeb10202ab5b236bbb0b0 /gnu/installer | |
| parent | 85caf5f3239a60039eb4593687eed03ba423e52d (diff) | |
installer: Fix manual partitioning.
* gnu/installer/newt/partition.scm (run-partioning-page): When METHOD is
'manual, use 'filter-map' on DEVICES, not 'map', since 'disk-new' can
return #f.
Diffstat (limited to 'gnu/installer')
| -rw-r--r-- | gnu/installer/newt/partition.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/installer/newt/partition.scm b/gnu/installer/newt/partition.scm index c22e1c0290..d4c91edc66 100644 --- a/gnu/installer/newt/partition.scm +++ b/gnu/installer/newt/partition.scm @@ -745,7 +745,7 @@ by pressing the Exit button.~%~%"))) (run-disk-page (list disk) user-partitions #:guided? #t))) ((eq? method 'manual) - (let* ((disks (map disk-new devices)) + (let* ((disks (filter-map disk-new devices)) (user-partitions (append-map create-special-user-partitions (map disk-partitions disks))) |