diff options
Diffstat (limited to 'linux.install')
| -rw-r--r-- | linux.install | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/linux.install b/linux.install index 40aeaea..0462775 100644 --- a/linux.install +++ b/linux.install @@ -5,18 +5,19 @@ post_install () { } 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 + # updating module dependencies echo ">>> Updating module dependencies. Please wait ..." depmod %KERNVER% - 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 - if [ $(vercmp $2 3.13) -lt 0 ]; then - echo ">>> WARNING: AT keyboard support is no longer built into the kernel." - echo ">>> In order to use your keyboard during early init, you MUST" - echo ">>> include the 'keyboard' hook in your mkinitcpio.conf." - fi + if [ $(vercmp $2 3.13) -lt 0 ]; then + echo ">>> WARNING: AT keyboard support is no longer built into the kernel." + echo ">>> In order to use your keyboard during early init, you MUST" + echo ">>> include the 'keyboard' hook in your mkinitcpio.conf." + fi } post_remove() { |