ブートローダーのGrubだけど、手動でいじって壊すと面倒だから、ツールを使いたくなる。というわけで、Ubuntuであれば以下のような感じでGrub Customizer をインストールすることができる。
sudo apt-add-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
インストールしたら、grub-customizerを実行して、GUIでメニューを編集することができる。