Re: feature idea: customizable string in history file

[Andy Spiegl <zsh.Andy@xxxxxxxxx>]

On 2008-03-07, 09:08, Wayne Davison wrote:
> One simple way to do that would be to modify the writing of the extended
> history in savehistfile() (see Src/hist.c).  If you add the name at the
> end, like this:
> 
>     ... fprintf(out, ": %ld:%ld:%s;", ...
> 
> The parsing code won't care about the extra characters since it just
> skips to the ';' after parsing the first 2 items.

Great!  Could we make that customizable via .zshrc?
I'd hate to patch every new version of zsh. :-(

This feature (adding extra info from an env variable to the zsh history)
shouldn't be that uninteresting to others either...

Thanks,
 Andy.

-- 
 Bad or missing mouse driver. Spank the cat? (Y/N)