diff options
| author | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-02-25 23:45:45 -0300 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@kiwwwi.com.ar> | 2012-02-25 23:45:45 -0300 |
| commit | 9cd5f45df0773a6dc83523beb1d872091d84ad85 (patch) | |
| tree | e29cefd728c659f76dd701313fa8fa832b13bb5b /kernels/linux-libre-xen/linux-libre-xen.install | |
| parent | 2050be76621e72c15b0e6547fa0b3e676319cf6c (diff) | |
| parent | a43211ffe2915a7072f34250db6201cf9f2b4551 (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 |