On 07/25/2020 12:42 PM, Sam Varshavchik wrote:
Perhaps the /boot/efi FAT partition got corrupted. Try fscking it.
Before you go that far, you might consider trying this:
df -h /boot/efi
This will tell you how much space is used and how much is free, in a
human readable format.