I tried to change the grub fonts and borked it. Now it says "welcome to grub" at the top line, with the old font I think, and then the screen goes black for 2-3 seconds and the Bios menu comes up. Continuing the boot from Bios leads back to grub, which leads back to Bios.
WHAT I DID
I sudo mk-grub-font ... or something like that, without error, added a line in /etc/default/grub at the top saying GRUB_FONT=/boot/grub/fonts/FiraCode-Regular.p2 if I recall, did sudo update-grub and rebooted. I am familiar with the command line. The auto complete suggests that the filenames weren't wrong.
Well the expected result was to only change the font. Not to change the boot thing.
ASSUMPTIONS
One possible reason for this is that, since I didn't understand much when I installed Arch about 6 months ago, maybe I did an one shot configuration to grub. Maybe I added some switch to the update-grub command back then that I didn't add this time.
Also I didn't check if I have grub or grub2. Maybe I should have typed update-grub2 right?
NOW
What I can do now is to boot from EFI file.
I don't want to screw this up so any advice would be helpful. Thanks in advance!