Timothy M Butterworth composed on 2024-12-03 20:36 (UTC-0500): >> pocket composed on 2024-12-03 12:01 (UTC+0100): >> > [alarm@alarm ~]$ ls -l / >> > lrwxrwxrwx 1 root root 7 Nov 25 19:15 bin -> usr/bin >> > drwxr-xr-x 3 root root 4096 Dec 31 1969 boot >> …
The rest of what the above was clipped from is in: https://lists.debian.org/debian-user/2024/12/msg00120.html >> What Debian puts a FAT filesystem on /boot/? Is that a systemd-boot >> configuration? > /boot/efi is a fat partition. It has to be fat so the UEFI can read the > files. Usually /boot is an EXT partition. /boot/efi/ is where the ESP normally goes, not /boot/, at least, not when using Grub2 EFI, as opposed to one of those newfangled bootloaders (e.g. systemd-boot) that I have yet to see live in person. That 'ls -l /' listing is pocket's root directory showing Dec 31 1969. That means there's a FAT filesystem mounted on /boot/. He hasn't shown us what if anything is mounted on on /boot/efi/. What I expect to see with Grub2 EFI is what I see here: # ls -gGd /boot/ dr-xr-xr-x 4 10240 Dec 3 11:57 /boot/ # typical mountpoint EXT4 mounted # ls -gGd /boot/efi/ drwxr-xr-x 4 4096 Dec 31 1969 /boot/efi/ # typical mountpoint FAT mounted # mount | grep boot /dev/sda1 on /boot/efi type vfat… # -- Evolution as taught in public schools is, like religion, based on faith, not based on science. Team OS/2 ** Reg. Linux User #211409 ** a11y rocks! Felix Miata
