On Wed, Dec 4, 2024 at 12:52 AM Timothy M Butterworth
<timothy.m.butterwo...@gmail.com> wrote:
>
> 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.
findmnt is a tool to show the mount points, filesystems and options
used to mount the filesystem:
$ findmnt
TARGET SOURCE
FSTYPE OPTIONS
/
/dev/nvme0n1p3[/root]
btrfs
rw,relatime,seclabel,compress=zstd:1,ssd,discard=async,space_cache=v2,subvolid=257,subvol=/root
...
├─/home
/dev/nvme0n1p3[/home]
btrfs
rw,relatime,seclabel,compress=zstd:1,ssd,discard=async,space_cache=v2,subvolid=256,subvol=/home
├─/boot /dev/nvme0n1p2
ext4 rw,relatime,seclabel
│ └─/boot/efi /dev/nvme0n1p1
vfat
rw,relatime,fmask=0077,dmask=0077,codepage=437,iocharset=ascii,shortname=winnt,errors=remount-ro
...
The above is from Fedora 41, which was installed sometime around
Fedora 39 (and subsequently upgraded).
(I don't have my Debian laptop handy).
Jeff
