By the way, there really is a minus symbol in the second position. I
think that's the placeholder for [FILE] if you look at the man page
for grub2-editenv, and that file is the grubenv. And now I'm gonna
look at some Rube Goldberg cartoons.
--
Chris Murphy