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

History saving doesn't work with "zsh -f"

X-seq: zsh-workers 31276
From: Vincent Lefevre <vincent@xxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: History saving doesn't work with "zsh -f"
Date: Fri, 19 Apr 2013 12:59:00 +0200
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
Mail-followup-to: zsh-workers@xxxxxxx
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm

With zsh 5.0.2, if I run "zsh -f" and type

SAVEHIST=8000
HISTFILE="$HOME/.zhistory.tmp"

in the shell, then commands, and I quit with Ctrl-D, the history
is not saved. Ditto with:

  SAVEHIST=8000 HISTFILE="$HOME/.zhistory.tmp" zsh -f

This problem doesn't occur if I don't use the "-f" option, after
removing all my ~/.z* startup files.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Follow-Ups:
- Re: History saving doesn't work with "zsh -f"
  - From: Mikael Magnusson

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