2017-06-10

/etc/default/grub # If you change this file, run 'update-grub' afterwards to update # /boot/grub/gru...