cat > "$TMP_CONFIG" <<EOF
search --set -f /conf/bootid.txt root
if [ -e /boot/grub/grub.cfg ]; then
- set prefix=\$root/boot/grub
+ set prefix=(\$root)/boot/grub
configfile /boot/grub/grub.cfg
else
echo "E: Could not find root device!"
efi_uga elf ext2 fat gfxmenu gfxterm gzio help iso9660 jpeg linux \
loopback lvm minicmd multiboot normal part_gpt part_msdos png \
probe raid reiserfs search search_fs_file search_fs_uuid \
- search_label terminal test video videoinfo xfs
+ search_label squash4 terminal test video videoinfo xfs
if ! [ -r "${target}/${GRUB_EFI_IMAGE}" ] ; then
echo "Can not access grub efi image." >&2