diff options
Diffstat (limited to 'grub-git.install')
-rw-r--r-- | grub-git.install | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/grub-git.install b/grub-git.install index c13ef99c77c5..503d4e7cd374 100644 --- a/grub-git.install +++ b/grub-git.install @@ -6,12 +6,22 @@ post_upgrade() { if [ ! -f /boot/grub/grub.cfg -a -f /boot/grub/grub.cfg.pacsave ]; then mv /boot/grub/grub.cfg.pacsave /boot/grub/grub.cfg fi + + # Give a hint to update installation and configuration one after another. + cat <<EOM +:: To use the new features provided in this GRUB update, it is recommended + to install it to the MBR or UEFI. Due to potential configuration + incompatibilities, it is advised to run both, installation and generation + of configuration: + \$ grub-install ... + \$ grub-mkconfig -o /boot/grub/grub.cfg +EOM } post_install() { - cat << 'EOM' -Generate your bootloader configuration with: - grub-mkconfig -o /boot/grub/grub.cfg + cat <<EOM +:: Install your bootloader and generate configuration with: + \$ grub-install ... + \$ grub-mkconfig -o /boot/grub/grub.cfg EOM } - |