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

New tool for merging zsh history (Was: Merging extended history)



Juergen Christoffel wrote:

> On Thu, Mar 20, 2025 at 10:10:20AM +0100, Christoph Groth wrote:
> >
> >The merging tool will allow me to sync histories across boxes (using
> >unison in my case).  I’m a bit puzzled that no one seems to have
> >developed such a tool so far!
>
> Interesting idea, never thought about that.

Thanks.  It took a while, but here’s a new tool for three-way-merging
zsh history files with automatic conflict resolution:

https://git.grothesque.org/zsh_history/about/

It’s totally over-engineered ;-) ... but should get the job done
robustly at lightning speed.

I hope that someone will find it useful.

> I guess it depends on ones needs. As I always have a bunch of
> (dedicated) terminal windows open, I simply generate history files per
> shell / level ...
>
>   export HISTFILE=$HOME/.history/${TTY##*/}.$SHLVL

I already setopt SHARE_HISTORY to share history across terminals on the
same machine.

> ... and if I need to retrieve a command on another machine, grep is my
> friend.

Sure, that’s what I’ve been doing so far as well.

Christoph





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