Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: Bug#369305: zsh: failed to write history file /home/sven/.zsh-history: no such file or directory
- X-seq: zsh-workers 24685
- From: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
- To: Peter Stephenson <pws@xxxxxxx>, zsh-workers@xxxxxxxxxx, Sven Joachim <svenjoac@xxxxxx>, 369305@xxxxxxxxxxxxxxx
- Subject: Re: Bug#369305: zsh: failed to write history file /home/sven/.zsh-history: no such file or directory
- Date: Wed, 5 Mar 2008 14:41:58 -0800
- In-reply-to: <20080305202936.GA24616@xxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- References: <87ir01bb68.fsf@xxxxxx> <20080305144438.GA9541@xxxxxxxxxxx> <200803051712.m25HCNk6006441@xxxxxxxxxxxxxx> <20080305202936.GA24616@xxxxxxxxxxx>
On Wed, Mar 05, 2008 at 03:29:36PM -0500, Clint Adams wrote:
> As Sven notes, any history added before exiting will make it into the
> history file despite the error message.
The history being added is the appending going on due to SHARE_HISTORY.
The error is referring to the inability to rewrite the history file on
exit, and it is actually failing (because the write-new, then rename
steps would cause the file to change ownership). If incremental history
updating was not happening, the failed rewrite would indeed not save
anything new. The "no such file or directory" error string is
presumably a left-over errno that Peter noticed.
Aside: I like to make sure to never mix user history and root history,
so I define a different HISTFILE for root (e.g. .zhist_$USER).
..wayne..
Messages sorted by:
Reverse Date,
Date,
Thread,
Author