On 5/18/23 6:30 PM, Felix Miata wrote:
home user composed on 2023-05-18 16:21 (UTC-0600):
What size is the filesystem on which /boot/ lives? Separate
partition? BTRFS?
I don't recall answering this.
size = 485348
separate partition: yes (based on Disks display)
BTRFS: no; it's Ext4.