[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: menu on dumb terminals
From: |
OKUJI Yoshinori |
Subject: |
Re: menu on dumb terminals |
Date: |
Sat, 26 May 2001 10:12:19 +0900 |
From: Klaus Reichl <address@hidden>
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