Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: feature idea: customizable string in history file
- X-seq: zsh-users 12702
- From: "Richard Hartmann" <richih.mailinglist@xxxxxxxxx>
- To: "ZSH User List" <zsh-users@xxxxxxxxxx>
- Subject: Re: feature idea: customizable string in history file
- Date: Sat, 8 Mar 2008 13:09:29 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=G8SpZ/E73gypqVK2088kuVlojBjFlaaZrqwt6cZDCG4=; b=wqwQOhPZf7LFDW9FJXiCCuobxgXYGI/fFbPJN67X4vJkytnXBf9hlPY3JNoILNW328WvHcCdV2MFTqeDQ4o5wcIDw+Dd3OmMDC/n9Ilu5UjF4/aWV53yxl3XLttLkQ+o+VRbL7q8HTbF/TfnEbK6Do2ECJjU9EV7Anz8oQfDVZA=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=TawvfppbVnR8xnrBnD7PuaEZaFPONNurOA8YRHPnqYaj2uQQEWWAfr4W8RFZJCnL8I74jOnEZTxJQL7nbAmepUQRgqowm72NRBZhkLC6PPz5GyCJSvDAI+U7Q72mEqJLdz4T0CipWkdvkeLs9wl96LJ5YpBwUOpO7COsHnIbEP8=
- In-reply-to: <20080308111057.GA23700@xxxxxxxxx>
- Mailing-list: contact zsh-users-help@xxxxxxxxxx; run by ezmlm
- References: <20080307142825.GA23322@xxxxxxxxx> <20080307170808.GC11566@xxxxxxxxxxxxxxxxxxx> <20080308111057.GA23700@xxxxxxxxx>
On Sat, Mar 8, 2008 at 12:10 PM, Andy Spiegl <zsh.Andy@xxxxxxxxx> wrote:
> This feature (adding extra info from an env variable to the zsh history)
> shouldn't be that uninteresting to others either...
The main problem I see is: What happens when you change the
formatting of your extras? Suddenly, old history files have wrong data.
Furthermore, zsh already can save extra info, namely the execution
timestamp and duration. The way it is encoded is save inasmuch
you are unlikely to have programs called '100' or some such, so the
history can be re-used by other shells.
That all being said, I can see how it could be useful for some.
Richard
Messages sorted by:
Reverse Date,
Date,
Thread,
Author