3 infodir="usr/share/info"
4 filelist=('grub.info' 'grub-dev.info')
8 if [[ -f "/boot/grub/grub.cfg.pacsave" ]]; then
9 echo "Copying /boot/grub/grub.cfg.pacsave to /boot/grub/grub.cfg"
10 install -D -m0644 /boot/grub/grub.cfg.pacsave /boot/grub/grub.cfg
14 echo -n "Read the GRUB2 Archwiki page at https://wiki.archlinux.org/index.php/GRUB2#BIOS_systems "
15 echo "for instructions on updating the grub2 modules and core.img at /boot/grub/ . "
17 echo -n "This step is not done automatically during package installation "
21 echo -n "Generate a new grub2-bios config file /boot/grub/grub.cfg by running "
24 echo -n " GRUB_PREFIX=\"/boot/grub\" grub-mkconfig -o /boot/grub/grub.cfg "
28 for file in ${filelist[@]}; do
29 install-info "${infodir}/${file}.gz" "${infodir}/dir" 2> /dev/null
42 for file in ${filelist[@]}; do
43 install-info --delete "${infodir}/${file}" "${infodir}/dir" 2> /dev/null