Re: Merging extended history (Was: purpose of storing command duration in history)
Juergen Christoffel <[email protected]>
| Newsgroups | gmane.comp.shells.zsh.devel,gmane.comp.shells.zsh.user |
|---|---|
| Message-ID | <[email protected]> |
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. 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
... and if I need to retrieve a command on another machine, grep is my
friend.
--jc
--
Aus Datenschutzgründen: Visitenkarten dürfen keine Kontaktdaten mehr enthalten!
-- https://www.der-postillon.com/2024/07/datenschutz-visitenkarten.html