diff --git a/PKGBUILD b/PKGBUILD index ab2ae03..4765b19 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -22,7 +22,7 @@ _commit='d9b4638c50b16d4722e66d334e2c1a674b4a45cc' _pkgver=2.06.r322.gd9b4638c5 _unifont_ver='14.0.04' pkgver=${_pkgver/-/} -pkgrel=2 +pkgrel=3 url='https://www.gnu.org/software/grub/' arch=('x86_64') license=('GPL3') diff --git a/grub.install b/grub.install index c268996..c448adc 100644 --- a/grub.install +++ b/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 < 0 )) && return @@ -21,8 +31,8 @@ EOM post_install() { cat <