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

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

[Vincent Lefevre]

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

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

[Mikael Magnusson]

This is documented.

On 19/04/2013, Vincent Lefevre <vincent@vinc17.net> wrote:
> 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@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)
>


-- 
Mikael Magnusson

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

[Vincent Lefevre]

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

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

[Mikael Magnusson]

On 20/04/2013, Vincent Lefevre <vincent@vinc17.net> wrote:
> 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.

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.

-- 
Mikael Magnusson

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

[Vincent Lefevre]

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)