Edit File: grub2-editenv.1.gz