Am Mittwoch, den 17.06.2009, 20:41 +0200 schrieb martin f krafft: > > When I start grub, I get two errors: > > error: unrecognized number > error: unknown command `true' > > I am not sure where the first comes from, but the second almost > certainly comes from > > if terminal_input serial ; then true ; else > > and I can verify that on the command line: > > sh:grub> true > error: unknown command `true' > > My grub.cfg ist attached.
Hello Martin, the missing true command is already fixed in the experimental version. But I can't reproduce the `unrecognized number' neither with current sid nor with the experimental version. In upstream they're are now a few bug fixes for the parser, maybe they help. -- Felix Zielcke -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
