0814login:Penguin垢版 | 大砲2021/01/08(金) 17:50:25.28ID:zXafBZWp guiでgrubの設定を変更するには、mint 20では sudo apt install -y grub-customizer することになるのか めんどくさいので設定ファイルをテキストエディタで編集する気にならない 446バイトのレガシーシステムしか知らん