Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: Tip of the day: previous command output

On 2004-08-23 08:21:24 -0700, Bart Schaefer wrote:
> On Mon, 23 Aug 2004, Vincent Lefevre wrote:
> > The date of the Zsh user guide is 1999/06/02; is it really that old?
> You mean PWS's user guide that's on-line at zsh.org? I'm pretty sure
> that's its original date of "publication" and doesn't reflect
> incremental updates.

Unfortunately this makes difficult to know when it is updated.

> I _think_ that'd require changes to the C code as well. Menu
> selection is a bit unusual in that it runs zle with a new keymap but
> then interprets several of the built-in widgets differently. I'm
> pretty sure you can't change the listing from widgets in that
> keymap, but there might be some convoluted way to cause menu
> selection to exit and then immediately start again on a new set of
> matches.

Yes, this is a good idea. I can imagine that the menu can be generated
from the current word, containing a pattern, and each time the user
adds a character to the pattern, the menu is updated.

Thanks for all these informations...

Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% validated (X)HTML - Acorn / RISC OS / ARM, free software, YP17,
Championnat International des Jeux Mathématiques et Logiques, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA

Messages sorted by: Reverse Date, Date, Thread, Author