HardDiskにインストール済みのgrubをGUIで編集できるアプリケーション 主に/boot/grub/grub.cfgを書き換える使い方
# add-apt-repository ppa:danielrichter2007/grub-customizer # apt update # apt install grub-customizer