diff options
| author | Christopher Kenna <cjk@cs.unc.edu> | 2012-10-03 14:05:06 -0400 |
|---|---|---|
| committer | Christopher Kenna <cjk@cs.unc.edu> | 2012-10-03 14:05:06 -0400 |
| commit | db7cf81a503f637eb85e2dfe63e515252d22a2ba (patch) | |
| tree | d007a101d39f11a4940a7ea7d6b2e13f0b574a4a | |
| parent | 5a93f97a326c150fe7980fd98f5c99a0a54aec9b (diff) | |
Pound does not need the GRUB menuentry added.
| -rwxr-xr-x | pound-install-kernel.sh | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/pound-install-kernel.sh b/pound-install-kernel.sh index 3da43ec..94d5ee5 100755 --- a/pound-install-kernel.sh +++ b/pound-install-kernel.sh | |||
| @@ -88,13 +88,15 @@ set +e | |||
| 88 | _unused=$(grep "$entryname" "$GRUBCFG") | 88 | _unused=$(grep "$entryname" "$GRUBCFG") |
| 89 | retval=$? | 89 | retval=$? |
| 90 | set -e | 90 | set -e |
| 91 | if [ $retval -ne 0 ] ; then | 91 | |
| 92 | echo "Installing grub menuentry ..." >&2 | 92 | # Ubuntu detects kernels named vmlinuz-* already. |
| 93 | installgrubmenuentry "$entryname" | 93 | #if [ $retval -ne 0 ] ; then |
| 94 | echo "done." | 94 | # echo "Installing grub menuentry ..." >&2 |
| 95 | else | 95 | # installgrubmenuentry "$entryname" |
| 96 | echo "Grub menuentry seems to exist already." >&2 | 96 | # echo "done." |
| 97 | fi | 97 | #else |
| 98 | # echo "Grub menuentry seems to exist already." >&2 | ||
| 99 | #fi | ||
| 98 | 100 | ||
| 99 | sudo update-grub | 101 | sudo update-grub |
| 100 | 102 | ||