On Fri, 3 Jul 2020 17:34:54 +0200 Patrick Dupre pdupre@gmx.com wrote:
You are correct / was lvm and no /boot partition (but a /boot/efi partition)
I understand the point, but was I do not understand is that on another machine which work fine, I have
/dev/mapper/VolSys_0-root 71724152 34126908 33910844 51% / /dev/mapper/VolUsers-home 71724152 32719136 35318616 49% /home /dev/mapper/VolSys_0-tmp 1998672 12568 1864864 1% /tmp /dev/mapper/VolSys_0-usr_local 20511312 172412 19273940 1% /usr/local /dev/sdb1 766480 29604 736876 4% /boot/efi
and no /boot partition. It is why I am confused.
On that system /boot is a directory under /, and doesn't exist as a separate partition.