That worked for me!!! Thanks. I'd downloaded the kernel sources and was
about to start mucking about; but the BEST program is one you don't have to
write.
Of course, after changing the file you cd to /boot/grub and run:
$ sudo bash
# grub-mkconfig > grub.cfg
^D
$
That worked for me!!! Thanks. I'd downloaded the kernel sources and was
about to start mucking about; but the BEST program is one you don't have to
write.
Of course, after changing the file you cd to /boot/grub and run:
$ sudo bash
# grub-mkconfig > grub.cfg
^D
$
DG