On 2/10/07, Thue Janus Kristensen <[EMAIL PROTECTED]> wrote:
Actually update-grub does have code to do this, but it is buggy. The fundamental bug does not seem to be in update-grup, but a simple work-around in update-grub can fix it.
On second though, it is just update-grub which is buggy, because of course echo $v1 | ... will strip any trailing spaces from $v1. I had momentarily forgotten that bash works by replacing strings, not with encapsulated variable values. Hilsen Thue -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
