On 2020-01-04 13:38 +0100, Pascal Hambourg wrote:
> Le 04/01/2020 à 11:25, Bonno Bloksma a écrit :
>
>> If I had not created that /boot partition would those files be in
>> /boot folder on the / (root) partition or would /boot then be on the
>> EFI partition?
>
> On the root partition. Some new boot specification mounts the EFI
> partition on /boot
Citation needed, which specification is that?
> but Debian does not follow it (yet) and still
> mounts the EFI partition on /boot/efi.
There are good reasons for not mounting the EFI system partition on
/boot, the most important one is that FAT filesystems do not support
files with multiple hard links, a feature that is crucial for dpkg.
Cheers,
Sven
