On Fri, Jul 26, 2013 at 05:34:49PM +0200, Havard Eidnes wrote: > I guess the one inside bootdefault() will do. > > Come to think of it, I thought of printing the boot command in > this instance -- how does that sound? It's usually better to know what's going on, so I say that'd be good. Eric