GRUB_PREFIX has been removed; hardcode /boot/grub in 05_debian_theme instead.

This commit is contained in:
Colin Watson 2012-09-06 10:46:27 +01:00
parent d08f867b4a
commit ec7f8045e4

View File

@ -21,7 +21,7 @@ set -e
. /usr/share/grub/grub-mkconfig_lib . /usr/share/grub/grub-mkconfig_lib
# We want to work in /boot/grub/ only. # We want to work in /boot/grub/ only.
test -d "${GRUB_PREFIX}"; cd "${GRUB_PREFIX}" test -d /boot/grub; cd /boot/grub
# Set the location of a possibly necessary cache file for the background image. # Set the location of a possibly necessary cache file for the background image.
# NOTE: This MUST BE A DOTFILE to avoid confusing it with user-defined images. # NOTE: This MUST BE A DOTFILE to avoid confusing it with user-defined images.