Code Editor : grub2-set-default