search

raphael / linux-samus

Linux 4.16 on Chromebook Pixel 2015
GNU General Public License v2.0
181 stars 36 forks source link

grub-mkconfig #209

Closed christianbundy closed 6 years ago

christianbundy commented 6 years ago

I installed the kernel with makepkg -si under Arch, but on reboot I was left with my old kernel. I was able to resolve this with grub-mkconfig -o /boot/grub/grub.cfg, but I wasn't able to find documentation on this in the repo.

Is grub-mkconfig supposed to be run automatically, or is that just something that users should know before installing the kernel?

christianbundy commented 6 years ago

Looks like it's supposed to run automatically if /boot/grub/grub.cfg exists. Closing!