diff options
author | root <root@rshg054.dnsready.net> | 2011-11-24 23:14:53 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2011-11-24 23:14:53 +0000 |
commit | 5894dd675f4bd3ba296d262fae99b3b87a0f87fd (patch) | |
tree | a39397b8475e7ca9c5d6950d607183669edfac53 /libre/linux-libre/linux-libre.install | |
parent | 1e1e4927b05d9b242bfe83794e3a98ab2c8f79ef (diff) |
Thu Nov 24 23:14:53 UTC 2011
Diffstat (limited to 'libre/linux-libre/linux-libre.install')
-rw-r--r-- | libre/linux-libre/linux-libre.install | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/libre/linux-libre/linux-libre.install b/libre/linux-libre/linux-libre.install index 493a6e3a7..772e15b24 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.0-2-LIBRE +KERNEL_VERSION=3.1.2-1-LIBRE post_install () { # updating module dependencies @@ -45,9 +45,8 @@ post_upgrade() { 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" + echo "WARNING: /boot appears to be a seperate partition but is not mounted." + echo " You probably just broke your system. Congratulations." fi fi |