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

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



This is documented.

On 19/04/2013, Vincent Lefevre <vincent@xxxxxxxxxx> 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@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)
>


-- 
Mikael Magnusson



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