Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
show timestamp during history search ?
- X-seq: zsh-users 19775
- From: Andy Spiegl <zsh.Andy@xxxxxxxxx>
- To: zsh-users@xxxxxxx
- Subject: show timestamp during history search ?
- Date: Fri, 23 Jan 2015 20:05:49 +0100
- List-help: <mailto:zsh-users-help@zsh.org>
- List-id: Zsh Users List <zsh-users.zsh.org>
- List-post: <mailto:zsh-users@zsh.org>
- Mail-followup-to: zsh-users@xxxxxxx
- Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
Hi, just had an idea: I'd consider it really useful while searching
backwards through the shell history to see the time when this command
was actually run. I've got EXTENDED_HISTORY set, of course. :-)
Unfortunately I am clueless on how to implement this feature.
Maybe some kind of function bound to ctrl-r ?
Any help is appreciated!
Have a nice weekend!
Andy.
--
The opossum is a very sophisticated animal. It doesn't even get up
until 5 or 6 pm.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author