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)