From: Klaus Reichl <[EMAIL PROTECTED]>
Subject: menu on dumb terminals
Date: Fri, 25 May 2001 10:40:12 +0200
> * GRUB shell: --batch
> Output of --batch is ugly, maybe the terminal dumb setting could be
> used for --batch to make it more natural.
I think this is a good idea.
> * Fast selection of menu entries with keys (numbers as shortcuts?) - I
> remember discussions on the list about that already, it didn't make
> it to the mainstream, however.
IMO, this shouldn't be added at the moment. The source code is already
contaminated enough. So I like to clean up the code before adding ugly
hacks any more.
Okuji
_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub
