Editing File: /usr/share/man/man8/grub2-set-default.8.gz