34 lines
838 B
Plaintext
34 lines
838 B
Plaintext
|
infodir="usr/share/info"
|
||
|
|
filelist=('grub.info' 'grub-dev.info')
|
||
|
|
|
||
|
|
post_install() {
|
||
|
|
if [ -f /boot/grub/grub.cfg.pacsave ]; then
|
||
|
|
echo "Copying /boot/grub/grub.cfg.pacsave to /boot/grub/grub.cfg"
|
||
|
|
install -D -m0644 /boot/grub/grub.cfg.pacsave /boot/grub/grub.cfg
|
||
|
|
fi
|
||
|
|
|
||
|
|
cat << 'EOM'
|
||
|
|
Generating grub.cfg.example config file...
|
||
|
|
This may fail on some machines running a custom kernel.
|
||
|
|
EOM
|
||
|
|
|
||
|
|
grub-mkconfig -o /boot/grub/grub.cfg.example 2> /dev/null
|
||
|
|
echo "done."
|
||
|
|
|
||
|
|
for file in ${filelist[@]}; do
|
||
|
|
install-info ${infodir}/${file}.gz ${infodir}/dir 2> /dev/null
|
||
|
|
done
|
||
|
|
}
|
||
|
|
|
||
|
|
post_upgrade() {
|
||
|
|
for file in ${filelist[@]}; do
|
||
|
|
install-info ${infodir}/${file}.gz ${infodir}/dir 2> /dev/null
|
||
|
|
done
|
||
|
|
}
|
||
|
|
|
||
|
|
pre_remove() {
|
||
|
|
for file in ${filelist[@]}; do
|
||
|
|
install-info --delete ${infodir}/${file} ${infodir}/dir 2> /dev/null
|
||
|
|
done
|
||
|
|
}
|