GRUB customizer

 GRUBの起動メニューを設定するには、discoverを起動して、そこの検索窓に「GRUB Customizer」と入力し、インストールを行う。インストール後は左下のメニューから「設定」を選ぶと、そこにインストールされている。