diff options
author | root <root@rshg054.dnsready.net> | 2012-01-04 23:14:55 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-01-04 23:14:55 +0000 |
commit | 85828cc2c2c3ef5c0b9b03388b9323d3d163b389 (patch) | |
tree | d2f2125c0ff38894f9c3ffe29164f5f763a762f0 /libre/linux-libre/linux-libre.install | |
parent | d1d68784dc66793601c239fa64cc0e02ebd9444e (diff) |
Wed Jan 4 23:14:55 UTC 2012
Diffstat (limited to 'libre/linux-libre/linux-libre.install')
-rw-r--r-- | libre/linux-libre/linux-libre.install | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/libre/linux-libre/linux-libre.install b/libre/linux-libre/linux-libre.install index d75b48c8f..badaceefd 100644 --- a/libre/linux-libre/linux-libre.install +++ b/libre/linux-libre/linux-libre.install @@ -2,7 +2,7 @@ # arg 2: the old package version KERNEL_NAME= -KERNEL_VERSION=3.1.5-1-LIBRE +KERNEL_VERSION=3.1.6-1-LIBRE post_install () { # updating module dependencies @@ -43,11 +43,9 @@ post_upgrade() { echo ">>>" fi - if grep "^[^#]*[[:space:]]/boot" etc/fstab 2>&1 >/dev/null; then - if ! grep "[[:space:]]/boot" etc/mtab 2>&1 >/dev/null; then - echo "WARNING: /boot appears to be a seperate partition but is not mounted." - echo " You probably just broke your system. Congratulations." - fi + 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." + echo " You probably just broke your system. Congratulations." fi # updating module dependencies |