diff options
| author | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-10-17 14:20:41 +0200 |
|---|---|---|
| committer | Miguel Ángel Arruga Vivas <rosen644835@gmail.com> | 2020-10-19 21:54:25 +0200 |
| commit | 19c14d95b3261dd54c56686b5d11ef8008e99620 (patch) | |
| tree | 60a94a29a373eb6149116124585b3bcddffcfb33 | |
| parent | a3ab43f49ac2dbda102e4c0e6b0a87da358793c0 (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.scm | 12 |
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) |