diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2019-04-26 11:05:29 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2019-04-26 11:05:29 -0500 |
| commit | 1bdfb8bf941788f00a97fa74f835a80fc010e4d5 (patch) | |
| tree | 88f68922fba76712917855a3481ce0411c025d36 /libre/grub/grub.install | |
| parent | c43891e5b78574c6661c1331be42b142c9d5d8d1 (diff) | |
grub-2:2.02-8.par1: rebuild
Diffstat (limited to 'libre/grub/grub.install')
| -rw-r--r-- | libre/grub/grub.install | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/libre/grub/grub.install b/libre/grub/grub.install index af67b89ce..c13ef99c7 100644 --- a/libre/grub/grub.install +++ b/libre/grub/grub.install @@ -1,14 +1,17 @@ -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 +#!/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 fi +} +post_install() { cat << 'EOM' -Generating grub.cfg.example config file... -This may fail on some machines running a custom kernel. +Generate your bootloader configuration with: + grub-mkconfig -o /boot/grub/grub.cfg EOM - - grub-mkconfig -o /boot/grub/grub.cfg.example 2> /dev/null - echo "done." } + |