> There are no man pages for "grub" or for "grubenv" on my system.
> There is a /boot/grub/grubenv file but it consists of one comment line,
> ending in a newline, and then enough # characters to make the file size
> exactly 1024 bytes. Incomprehensible.
This is just a place holder to make sure the file can be modified
without having to allocate any new space in the filesystem. A single
write of a single sector is all it takes.
Stefan