Bug#393079: grub: "default saved" is broken by the new patch

[Robert Millan]

On Wed, Apr 02, 2008 at 11:25:47PM +0300, Teodor wrote:
> PS: grub does not depend or recommend 'bash' but the script starts with:
> #!/bin/bash

A dependency is not needed (bash is an Essential package)

> I recommend to remove the "bashism" and replace the interpreter to
> /bin/sh because for "lenny" this is a release goal.

The release goal is to remove bashisms, but not from bash scripts.  Porting
all bash scripts to generic /bin/sh is not a release goal.

-- 
Robert Millan

<GPLv2> I know my rights; I want my phone call!
<DRM> What use is a phone call… if you are unable to speak?
(as seen on /.)