diff -Nurp grub-0.97.orig/debian/update-grub grub-0.97/debian/update-grub --- grub-0.97.orig/debian/update-grub 2007-09-04 10:33:46.000000000 +0200 +++ grub-0.97/debian/update-grub 2007-09-04 10:45:27.000000000 +0200 @@ -861,6 +861,8 @@ memtest86=$(GetMenuOpt "memtest86" "$mem # Extract the updatedefaultentry option updatedefaultentry=$(GetMenuOpt "updatedefaultentry" "$updatedefaultentry") +# If user had "saved" but not yet a "savedefault" option set in his menu file +grep -q "^default.*saved" $menu && savedefault=true # Extract the savedefault option savedefault=$(GetMenuOpt "savedefault" "$savedefault")