Grub Customizer

ブートローダーの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でメニューを編集することができる。