diff options
Diffstat (limited to 'libre/grub/grub.install')
| -rw-r--r-- | libre/grub/grub.install | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/libre/grub/grub.install b/libre/grub/grub.install index c268996d1..79693428e 100644 --- a/libre/grub/grub.install +++ b/libre/grub/grub.install @@ -7,6 +7,16 @@ post_upgrade() { 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 + # return if old package version greater 2:2.06-0... (( $(vercmp $2 '2:2.06-0') > 0 )) && return @@ -21,8 +31,8 @@ EOM post_install() { cat <<EOM -:: Generate your bootloader configuration with: - grub-mkconfig -o /boot/grub/grub.cfg +:: Install your bootloader and generate configuration with: + # grub-install ... + # grub-mkconfig -o /boot/grub/grub.cfg EOM } - |