Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
reading/saving history file dependent on isset(RCS)
- X-seq: zsh-workers 29829
- From: Greg Klanderman <gak@xxxxxxxxxxxxxx>
- To: Zsh list <zsh-workers@xxxxxxx>
- Subject: reading/saving history file dependent on isset(RCS)
- Date: Wed, 19 Oct 2011 14:34:22 -0400
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- Reply-to: gak@xxxxxxxxxxxxxx
Hi, can someone explain the thinking behind reading and saving of the
history file being dependent on isset(RCS)? The code predates CVS..
Seems like if you've set HISTFILE/SAVEHIST, it should honor that.
I did find this partially documented, in section "5.1 Startup/Shutdown Files":
| Note also that the RCS option affects the saving of history files,
| i.e. if RCS is unset when the shell exits, no history file will be
| saved.
but it does not document that reading the history file is similarly
conditioned on that option.
thanks,
Greg
Messages sorted by:
Reverse Date,
Date,
Thread,
Author