2018-11-23 22:08:42 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
post_upgrade() {
|
|
|
|
# We used to package /boot/grub/grub.cfg, but there is no reason to.
|
|
|
|
# Remove the file from package, but move real file back in place.
|
|
|
|
if [ ! -f /boot/grub/grub.cfg -a -f /boot/grub/grub.cfg.pacsave ]; then
|
|
|
|
mv /boot/grub/grub.cfg.pacsave /boot/grub/grub.cfg
|
2012-06-28 19:51:38 +02:00
|
|
|
fi
|
2018-11-23 22:08:42 +01:00
|
|
|
}
|
2012-06-28 19:51:38 +02:00
|
|
|
|
2018-11-23 22:08:42 +01:00
|
|
|
post_install() {
|
2012-06-28 19:51:38 +02:00
|
|
|
cat << 'EOM'
|
2018-11-23 22:08:42 +01:00
|
|
|
Generate your bootloader configuration with:
|
|
|
|
grub-mkconfig -o /boot/grub/grub.cfg
|
2012-06-28 19:51:38 +02:00
|
|
|
EOM
|
|
|
|
}
|
|
|
|
|