summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMiguel Ángel Arruga Vivas <rosen644835@gmail.com>2020-10-17 14:20:41 +0200
committerMiguel Ángel Arruga Vivas <rosen644835@gmail.com>2020-10-19 21:54:25 +0200
commit19c14d95b3261dd54c56686b5d11ef8008e99620 (patch)
tree60a94a29a373eb6149116124585b3bcddffcfb33
parenta3ab43f49ac2dbda102e4c0e6b0a87da358793c0 (diff)
installer: Create bios_grub partition when it is needed.
* gnu/installer/parted.scm (auto-partition!): Only check for ESP on EFI installations.
-rw-r--r--gnu/installer/parted.scm12
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu/installer/parted.scm b/gnu/installer/parted.scm
index b0c73b837e..fffd5abf3b 100644
--- a/gnu/installer/parted.scm
+++ b/gnu/installer/parted.scm
@@ -911,13 +911,13 @@ exists."
(let* ((start-partition
(and (not has-extended?)
- (not esp-partition)
(if (efi-installation?)
- (user-partition
- (fs-type 'fat32)
- (esp? #t)
- (size new-esp-size)
- (mount-point (default-esp-mount-point)))
+ (and (not esp-partition)
+ (user-partition
+ (fs-type 'fat32)
+ (esp? #t)
+ (size new-esp-size)
+ (mount-point (default-esp-mount-point))))
(user-partition
(fs-type 'ext4)
(bootable? #t)