grub-editenv(1) on Linux
The text 2ce0d122fa1d, as Debian 7 (Wheezy) shipped it.
edit GRUB environment block
Flags it lists
-
--help -
--usage -
--verbose -
--version -
-? -
-V -
-v