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

Re: History file locking?

X-seq: zsh-workers 904
From: Zefram <A.Main@xxxxxxxxxxxxxxxxx>
To: seniorr@xxxxxxxxxxxx (Russell Senior)
Subject: Re: History file locking?
Date: Wed, 10 Apr 1996 13:12:15 +0100 (BST)
Cc: zsh-workers@xxxxxxxxxxxxxxx
In-reply-to: <199604101031.DAA04027@xxxxxxxxxxxxxxxxxx> from "Russell Senior" at Apr 10, 96 03:31:58 am

>In order to keep Zsh from trashing its history file, I have
>implemented the following local patch.  Perhaps this can be worked
>into the source tree?  This patch uses the fcntl() function to lock
>the entire contents of the history file during read and write
>operations, using the corresponding blocking read and write locks. 

I think it's a good idea, but the patch can't be included as-is.  There
needs to be a configure test to check if this type of locking is
available, and perhaps to try using flock() as a backup mechanism, if
available.

-zefram

Follow-Ups:
- Re: History file locking?
  - From: Zoltan Hidvegi

References:
- History file locking?
  - From: Russell Senior

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