Andy Smith composed on 2024-12-03 19:48 (UTC):
> On Tue, Dec 03, 2024 at 14:31:14 -0500, Greg Wooledge wrote:
>> pocket's system is the outlier here. It's the only one where there
>> isn't a separate usr/sbin.
> For some reason pocket keeps telling us on a Debian list things about
> their Arch Linux system (actually).
I've been trying to do too many different things at once today. I missed that (and
more):
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
…
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.
--
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