[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#44027: [PATCH] installer: Create bios_grub partition when it is need
From: |
Mathieu Othacehe |
Subject: |
bug#44027: [PATCH] installer: Create bios_grub partition when it is needed. |
Date: |
Sun, 18 Oct 2020 19:03:27 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hello Miguel & Brendan,
> AFAIU from the code, the first partition should not be created by the
> installer but it won't be removed if it was found on the disk
> beforehand. Tomorrow I'll give a try at the full installation process,
> I must have overlooked something if it still being created in that
> case...
Thanks for your help on this topic! Brendan is probably using a GPT
partitionned disk on a non-UEFI compatible machine. Hence, as you
noticed, the installer does not create a bios_grub partition.
This is a problem as this partition is necessary for GRUB and I think
that your patch is fixing the problem. The "auto-partition!" procedure
is also leaving a probably pre-existing ESP partition, but I don't
really understand how it appeared in the first place.
Brendan, did you use "manual partitioning" to create an ESP partition?
Thanks,
Mathieu
- bug#44027: 1.2-29a2eb3 Installer fails at final stage installing GRUB., Brendan Tildesley, 2020/10/16
- bug#44027: 1.2-29a2eb3 Installer fails at final stage installing GRUB., Ludovic Courtès, 2020/10/16
- bug#44027: 1.2-29a2eb3 Installer fails at final stage installing GRUB., Brett Gilio, 2020/10/16
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Miguel Ángel Arruga Vivas, 2020/10/17
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Brendan Tildesley, 2020/10/17
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Brendan Tildesley, 2020/10/18
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Miguel Ángel Arruga Vivas, 2020/10/18
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed.,
Mathieu Othacehe <=
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Brendan Tildesley, 2020/10/19
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Mathieu Othacehe, 2020/10/19
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Miguel Ángel Arruga Vivas, 2020/10/19
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Mathieu Othacehe, 2020/10/19
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Miguel Ángel Arruga Vivas, 2020/10/19
- bug#44027: [PATCH] installer: Create bios_grub partition when it is needed., Bengt Richter, 2020/10/20