On Mon, 16 Dec 2024 09:45:59 +0100 (CET) Roger Price <deb...@rogerprice.org> wrote:
> But I did create a > small FAT32 partition to be mounted on /boot/efi if one day I needed > it. Which option in the installer's partitioner did you use, one of the FAT options, or the EFI one? The latter will create a partition with the appropriate file system, and install suitable EFI files for you. -- Does anybody read signatures any more? https://charlescurley.com https://charlescurley.com/blog/
