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

Re: revisiting history-file rewriting

X-seq: zsh-workers 20989
From: Geoff Wing <mason@xxxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxxxxx
Subject: Re: revisiting history-file rewriting
Date: Thu, 17 Mar 2005 02:09:43 +0000 (UTC)
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
Organization: PrimeNet Computer Consultants
References: <20050316204059.GA1298@xxxxxxxxx>
Reply-to: mason@xxxxxxxxxxxxxxx

Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx> typed:
: This patch adds the option HIST_OVERWRITE that is off by default.  This
: changes the default history-rewriting strategy to one that uses the name
: $HISTFILE.new for writing out the history lines, and then renaming it

Didn't we used to do $HISTFILE.<pid> ?  Is that out of favour?

Regards,
Geoff

Follow-Ups:
- Re: revisiting history-file rewriting
  - From: Wayne Davison

References:
- revisiting history-file rewriting
  - From: Wayne Davison

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