This is an automated email from the git hooks/post-receive script.
m1gu3l pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 19c14d9 installer: Create bios_grub partition when it is needed.
19c14d9 is described below
commit 19c14d95b3261dd54c56686b5d11ef8008e99620
Author: Miguel Ángel Arruga Vivas <rosen644...@gmail.com>
AuthorDate: Sat Oct 17 14:20:41 2020 +0200
installer: Create bios_grub partition when it is needed.
* gnu/installer/parted.scm (auto-partition!): Only check for ESP on EFI
installations.
---
gnu/installer/parted.scm | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/gnu/installer/parted.scm b/gnu/installer/parted.scm
index b0c73b8..fffd5ab 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)
