I used lsblk
(also confirmed using disks) that my EFI partition is /dev/sda1. Oddly a df -h
doesn't show sda1, it only shows sda3 (with sda2 being swap). I also trieddf -h /dev/sda1
but that shows the size for devtmpfs (4mb, and I know my EFI is 512mb) How do I know full the EFI partition is?