diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-04-01 19:14:30 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-04-01 19:14:30 -0300 |
| commit | b1dae9aeffb64b11071e2b3a8cfc2bb80972bc32 (patch) | |
| tree | 353c09738a9f67169559744112b7e0f650118504 /kernels/linux-libre-rt/linux-libre-rt.install | |
| parent | c4cc142235d7d77327c2a53d9efb2750b1ec80bf (diff) | |
| parent | a1ad226cb3556f648d9313dbcaf2ea0a4b185935 (diff) | |
Merge branch 'master' of ssh://gparabola/abslibre
Diffstat (limited to 'kernels/linux-libre-rt/linux-libre-rt.install')
| -rw-r--r-- | kernels/linux-libre-rt/linux-libre-rt.install | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/kernels/linux-libre-rt/linux-libre-rt.install b/kernels/linux-libre-rt/linux-libre-rt.install index 8ae1568d8..410e69aa0 100644 --- a/kernels/linux-libre-rt/linux-libre-rt.install +++ b/kernels/linux-libre-rt/linux-libre-rt.install @@ -2,7 +2,7 @@ # arg 2: the old package version KERNEL_NAME=-rt -KERNEL_VERSION=3.2.11-1-LIBRE-RT +KERNEL_VERSION=3.2.12-1-LIBRE-RT post_install () { # updating module dependencies @@ -17,8 +17,9 @@ post_install () { [ -f /etc/lilo.conf ] && loaders="$loaders /etc/lilo.conf" if [ -n "${loaders}" ] && grep -q -e vmlinuz26 -e kernel26.img -e kernel26-fallback.img $loaders; then # add compat symlinks for the initramfs images - ln -sf initramfs-linux-libre${KERNEL_NAME}.img /boot/kernel26${KERNEL_NAME}.img - ln -sf initramfs-linux-libre${KERNEL_NAME}-fallback.img /boot/kernel26${KERNEL_NAME}-fallback.img + ln -sf initramfs-linux-libre${KERNEL_NAME}.img boot/kernel26${KERNEL_NAME}.img + ln -sf initramfs-linux-libre${KERNEL_NAME}-fallback.img \ + boot/kernel26${KERNEL_NAME}-fallback.img ln -sf vmlinuz-linux-libre${KERNEL_NAME} /boot/vmlinuz26${KERNEL_NAME} fi fi @@ -43,12 +44,8 @@ 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 " This is most likely not what you want. Please mount your /boot" - echo " partition and reinstall the kernel unless you are sure this is OK" - 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." fi # updating module dependencies |