zsh-workers
 help / color / mirror / code / Atom feed
* Failing to write to history file if containing directory doesn't exist
@ 2007-10-08 10:09 Nikolai Weibull
  2007-10-08 10:15 ` Peter Stephenson
  0 siblings, 1 reply; 6+ messages in thread
From: Nikolai Weibull @ 2007-10-08 10:09 UTC (permalink / raw)
  To: zsh-workers

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.


^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2007-10-08 14:14 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-10-08 10:09 Failing to write to history file if containing directory doesn't exist Nikolai Weibull
2007-10-08 10:15 ` Peter Stephenson
2007-10-08 12:08   ` Nikolai Weibull
2007-10-08 13:38     ` Peter Stephenson
2007-10-08 14:05       ` Nikolai Weibull
2007-10-08 14:14         ` Clint Adams

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).