diff options
| author | Nicolás Reynolds <apoyosis@correo.inta.gob.ar> | 2012-01-04 11:55:17 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <apoyosis@correo.inta.gob.ar> | 2012-01-04 11:55:17 -0300 |
| commit | 8bb7a10e4748b9fe29f4e4cb7012f31a16245093 (patch) | |
| tree | d34831d76db62a2d010bce9ed4f1ef214560ef21 /libre/linux-libre/linux-libre.install | |
| parent | 41f96635759489132086f9c599af6b6b8af20db2 (diff) | |
libre/linux-libre-3.1.7-1
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 |