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

Re: bug: can't write history file

X-seq: zsh-workers 22901
From: Wayne Davison <wayned@xxxxxxxxxxxxxxxxxxxxx>
To: Dmitry Karasik <dmitry@xxxxxxxxxxxxxx>
Subject: Re: bug: can't write history file
Date: Tue, 24 Oct 2006 08:27:18 -0700
Cc: zsh-workers@xxxxxxxxxx
In-reply-to: <20061024141740.GA18951@xxxxxxxxxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <20061024141740.GA18951@xxxxxxxxxxxxxxxxxxxxx>

On Tue, Oct 24, 2006 at 04:17:40PM +0200, Dmitry Karasik wrote:
> I found that it is savehistfile() to blame, because it apparently is
> called with writeflags=0, which bypasses all append/rewrite logic

This is as it should be, because that code is re-writing the history
file to trim it.  As long as you use HIST_APPEND or SHARE_HISTORY, the
history from a root session should be added to the file -- just the
rewrite at the end will be skipped.

..wayne..

Follow-Ups:
- Re: bug: can't write history file
  - From: Dmitry Karasik

References:
- bug: can't write history file
  - From: Dmitry Karasik

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