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

Re: Failing to write to history file if containing directory doesn't exist

X-seq: zsh-workers 23914
From: Peter Stephenson <pws@xxxxxxx>
To: zsh-workers <zsh-workers@xxxxxxxxxx>
Subject: Re: Failing to write to history file if containing directory doesn't exist
Date: Mon, 08 Oct 2007 11:15:47 +0100
In-reply-to: <dbfc82860710080309m41cfa984q5aa0474c6b4bdf62@xxxxxxxxxxxxxx>
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <dbfc82860710080309m41cfa984q5aa0474c6b4bdf62@xxxxxxxxxxxxxx>

"Nikolai Weibull" wrote:
> Zsh currently fails to write a history file if the directory
> containing it doesn't exist.  Would a patch that creates the parent
> directory if it doesn't exist before attempting to write to the
> history file be of any interest?  I'd be willing to write such a
> patch, but if this behavior is undesirable, I won't waste my time.

I'd have thought it was a reasonable expectation that the directory
already existed.  You can always add "mkdir -p ${HISTFILE:h}" when you
set HISTFILE, if you need to.

-- 
Peter Stephenson <pws@xxxxxxx>                  Software Engineer
CSR PLC, Churchill House, Cambridge Business Park, Cowley Road
Cambridge, CB4 0WZ, UK                          Tel: +44 (0)1223 692070

Follow-Ups:
- Re: Failing to write to history file if containing directory doesn't exist
  - From: Nikolai Weibull

References:
- Failing to write to history file if containing directory doesn't exist
  - From: Nikolai Weibull

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