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".
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.