[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: |
Miguel Ángel Arruga Vivas |
Subject: |
bug#44027: [PATCH] installer: Create bios_grub partition when it is needed. |
Date: |
Mon, 19 Oct 2020 15:21:18 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Hi Mathieu,
Mathieu Othacehe <othacehe@gnu.org> writes:
> Hello Brendan,
>
>> I feel the installer should not care what was on the drive to begin with, it
>> should just
>> format the drive how it sees fit. Why should the existing contents of the
>> drive
>> affect the outcome when we are reformatting everything anyway?
>
> That's the case except for the ESP partition that is preserved by the
> installer because it could contain vendor / operating system specific
> files that should not be wiped.
Is there any other issue remaining? It doesn't modify this logic at
all. Should I apply this patch to master then?
Happy hacking!
Miguel
signature.asc
Description: PGP signature
- 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, 2020/10/18
- 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 <=
- 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