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

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

X-seq: zsh-users 30218
From: Juergen Christoffel <jc+zsh@xxxxxxxxx>
To: Christoph Groth <christoph@xxxxxxxxxxxxxx>
Cc: zsh-users@xxxxxxx
Subject: Re: Merging extended history (Was: purpose of storing command duration in history)
Date: Thu, 20 Mar 2025 20:48:12 +0100
Archived-at: <https://zsh.org/users/30218>
In-reply-to: <87sen8vzib.fsf_-_@grothesque.org>
List-id: <zsh-users.zsh.org>
References: <87frjaf4bm.fsf@grothesque.org> <144968952.2165724.1742376444626@mail.virginmedia.com> <87sen8vzib.fsf_-_@grothesque.org>

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

Follow-Ups:
- New tool for merging zsh history (Was: Merging extended history)
  - From: Christoph Groth

References:
- What is the purpose of storing command duration in history?
  - From: Christoph Groth
- Re: What is the purpose of storing command duration in history?
  - From: Peter Stephenson
- Merging extended history (Was: purpose of storing command duration in history)
  - From: Christoph Groth

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