Editing File: /usr/share/man/man1/grub2-set-bootflag.1.gz