grub2018-08-26grubの設定は、/etc/default/grubを編集。 # grub-mkconfig -o /boot/grub/grub.cfg Archgrub-mkconfig