Bug#584812: grub-common: savedefault doesn't work anymore

[Colin Watson]

tags 584812 fixed-upstream
thanks

On Mon, Jun 07, 2010 at 09:05:36AM +0200, Mario 'BitKoenig' Holbe wrote:
> On Sun, Jun 06, 2010 at 11:13:35PM +0100, Colin Watson wrote:
> > On Sun, Jun 06, 2010 at 09:49:44PM +0200, Mario 'BitKoenig' Holbe wrote:
> > prefix and root should never contain spaces, and I don't really want to
> > uglify the generated configuration file by quoting those.  Could you
> > please confirm that these parts of your diff are sufficient?
> > 
> > > -if [ ${prev_saved_entry} ]; then
> > > -  set saved_entry=${prev_saved_entry}
> > > +if [ "${prev_saved_entry}" ]; then
> > > +  set saved_entry="${prev_saved_entry}"
> > 
> > > -  if [ -z ${boot_once} ]; then
> > > -    saved_entry=${chosen}
> > > +  if [ -z "${boot_once}" ]; then
> > > +    saved_entry="${chosen}"
> 
> Yes, they are sufficient to make savedefault working again.

Thanks!  I've committed the remaining fragments of this upstream.

-- 
Colin Watson                                       [cjwatson at debian.org]