On Tue, Dec 3, 2024 at 7:47 PM Felix Miata <mrma...@stanis.net> wrote:
> 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 > > -- ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ Debian - The universal operating system ⢿⡄⠘⠷⠚⠋⠀ https://www.debian.org/ ⠈⠳⣄⠀⠀
