diff options
Diffstat (limited to 'linux.install')
-rw-r--r-- | linux.install | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/linux.install b/linux.install index 6c0c8e2d50d6..ab733fb8bc15 100644 --- a/linux.install +++ b/linux.install @@ -20,6 +20,7 @@ post_upgrade() { if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then echo "WARNING: /boot appears to be a separate partition but is not mounted." fi + display_message } @@ -27,3 +28,5 @@ post_remove() { rm -f boot/initramfs-%PKGBASE%.img rm -f boot/initramfs-%PKGBASE%-fallback.img } + +# vim:set ft=sh ts=8 sts=2 sw=2 et: |