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?