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

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

X-seq: zsh-workers 31283
From: Vincent Lefevre <vincent@xxxxxxxxxx>
To: zsh-workers@xxxxxxx
Subject: Re: History saving doesn't work with "zsh -f"
Date: Sat, 20 Apr 2013 10:14:54 +0200
In-reply-to: <CAHYJk3TRN9_gTg+P6qwDMdbKj1jqp9qQ6K6-JWp7evTRjM5VVA@mail.gmail.com>
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
References: <20130419105900.GB9553@xvii.vinc17.org> <CAHYJk3TRN9_gTg+P6qwDMdbKj1jqp9qQ6K6-JWp7evTRjM5VVA@mail.gmail.com>

On 2013-04-19 17:54:31 +0200, Mikael Magnusson wrote:
> This is documented.

Where???

The man page says:

   HISTFILE
      The file to save the history in when an interactive shell exits.
      If unset, the history is not saved.

Nothing about -f.

-- 
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

References:
- History saving doesn't work with "zsh -f"
  - From: Vincent Lefevre
- Re: History saving doesn't work with "zsh -f"
  - From: Mikael Magnusson

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