diff options
| -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 | ||
