diff options
author | Nicolás Reynolds <apoyosis@correo.inta.gob.ar> | 2012-03-01 15:14:35 -0300 |
---|---|---|
committer | Nicolás Reynolds <apoyosis@correo.inta.gob.ar> | 2012-03-01 15:14:35 -0300 |
commit | 69b78ed95efd699c0dfbe588457234eee3ae9d9c (patch) | |
tree | 15b1c2902f0c430d015c9fc70ec7db6c042528f7 /kernels/linux-libre-xen/linux-libre-xen.install | |
parent | d7d39087e97e5a5ff1ab2c40db618934633b594c (diff) | |
parent | b5ef7ef5b393a1862d781791b9aa998d20636f59 (diff) |
Merge branch 'master' of ssh://gparabola/abslibre
Diffstat (limited to 'kernels/linux-libre-xen/linux-libre-xen.install')
-rw-r--r-- | kernels/linux-libre-xen/linux-libre-xen.install | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/kernels/linux-libre-xen/linux-libre-xen.install b/kernels/linux-libre-xen/linux-libre-xen.install index 2b9ef501b..16b877724 100644 --- a/kernels/linux-libre-xen/linux-libre-xen.install +++ b/kernels/linux-libre-xen/linux-libre-xen.install @@ -2,7 +2,7 @@ # arg 2: the old package version KERNEL_NAME=-xen -KERNEL_VERSION=3.1.5-1-LIBRE-XEN +KERNEL_VERSION=3.2.7-1-LIBRE-XEN post_install () { # updating module dependencies @@ -18,7 +18,8 @@ post_install () { 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}-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 |