Re: Merging extended history (Was: purpose of storing command duration in history)

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Thu, Mar 20, 2025 at 2:10 AM Christoph Groth
<christoph@xxxxxxxxxxxxxx> wrote:
>
> Thanks!  I’m working on a tool for three-way-merging extended zsh
> history, and for this the extended format with its timestamps is useful.
>
> 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!

I think most people have accomplished this via shared filesystems.  If
your home directory is on the same filesystem on every host, the
SHARE_HISTORY option is usually all you need.

Also, a couple of possibly helpful tools have been floating around for a while:
 https://github.com/z-shell/zredis - a zsh interface for passing data
through redis
 (I believe that's an updated fork from
https://github.com/zdharma-continuum/zredis)
https://github.com/zdharma-continuum/zredis-cmd - remote commands via zredis