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

Re: What was the reason for history -D not reporting runtimes?



On 11/25/06, Matt Wozniski <godlygeek@xxxxxxxxx> wrote:
To record that information, you need "setopt ExtendedHistory".  See
http://zsh.sunsite.dk/Guide/zshguide02.html#l18 (Thanks, PWS!)

Yes, but that I already have.  The -D information somehow isn't
recorded.  I thought it was incappendhistory that caused this, but I
don't have that set.

 nikolai



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