summaryrefslogtreecommitdiff
path: root/kernels/linux-libre-xen/linux-libre-xen.install
diff options
context:
space:
mode:
authorNicolás Reynolds <apoyosis@correo.inta.gob.ar>2012-03-01 15:14:35 -0300
committerNicolás Reynolds <apoyosis@correo.inta.gob.ar>2012-03-01 15:14:35 -0300
commit69b78ed95efd699c0dfbe588457234eee3ae9d9c (patch)
tree15b1c2902f0c430d015c9fc70ec7db6c042528f7 /kernels/linux-libre-xen/linux-libre-xen.install
parentd7d39087e97e5a5ff1ab2c40db618934633b594c (diff)
parentb5ef7ef5b393a1862d781791b9aa998d20636f59 (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.install13
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