On 12/29/2017 08:52 AM, Pascal Hambourg wrote:
Le 21/12/2017 à 20:07, Dan Norton a écrit :
Disklabel type: gpt
Disk identifier: A615A904-0620-459F-BF44-5E53E54FDF24
Device Start End Sectors Size Type
/dev/sda1 2048 411647 409600 200M BIOS boot
(...)
Is there a problem here?
Yes. /dev/sda1 has the type "BIOS boot" but is actually used as an EFI
system partition, according to df and /etc/fstab. So it should have
the type "EFI system".
Ah. Getting this right is a problem for me, but when the installer does
all the partitioning, the right choices seem to be made.
Before moving on to multiboot with LVM and GPT, I'd like to change
the menu entries to something more consistent. The last install is
referred to as "Debian GNU/Linux" but that's ambiguous. Which Debian
GNU/Linux? If each entry was in the form "Debian GNU/Linux 9
(stretch) (on /dev/mapper/vol2-root)" that would really be explicit.
Also I want some more time to mull over which to boot.
The details for other detected OSes are provided by os-prober. The
entry title for the main OS is derived from the GRUB_DISTRIBUTOR
variable in /etc/default/grub. You can tweak it to fit your needs. If
lsb-release is installed, changing -i to -d will provide more details
such as the Debian version and codename.
Very helpful. Actually the name is "lsb_release". I need to study the
shell - not sure about that GRUB_DISTRIBUTOR statement. Will definitely
change the -i to -d. Why isn't -ds needed?
