Linux Mint

  1. Bug #1006772
  2. Comment #4

Comment 4 for bug 1006772

Revision history for this message
Mike (michburt) wrote :

I found out that there is a replacement of the file /etc/grub.d/10_linux with the file /usr/share/ubuntu-system-adjustments/grub/10_linux. This replacement is set in the file /etc/linuxmint/adjustments/15-grub.overwrite.
So if you change the file /usr/share/ubuntu-system-adjustments/grub/10_linux
from:
datarootdir="${prefix}/share"
to:
datarootdir="${prefix}/lib"
you don't have to update the file /etc/grub.d/10_linux every time.