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

[Vincent Lefevre <vincent@vinc17.net>]

On 2013-04-20 14:29:03 +0200, Mikael Magnusson wrote:
> On 20/04/2013, Vincent Lefevre <vincent@vinc17.net> wrote:
> > 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.
> 
> I was a bit tired when i sent that reply, guess i could have been a
> tad more informative :).
> 
>    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.
> ...
>     -f     NO_RCS
> 
> The entry in zshoptions for RCS should probably mention this as well.

Thanks. I sugggest that the man pages be changed to be more informative:

   HISTFILE
      The file to save the history in when an interactive shell exits
      (unless the RCS option is unset, as with the `-f' option).  If
      HISTFILE is unset, the history is not saved.

-- 
Vincent Lefèvre <vincent@vinc17.net> - 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)