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 31278
- From: Mikael Magnusson <mikachu@xxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Subject: Re: History saving doesn't work with "zsh -f"
- Date: Fri, 19 Apr 2013 17:54:31 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=5VWKIVx1Eq4whTmUgBay264AMh4eIuiqi0LWGsPtY80=; b=PItJ3JcjV+5nVug81RNkqIbDu2JkjKUO5vfWpx1Mfd5nIKaMz93UnQCDAwhRKvq/JE MgIUoeWZzH2B50IdCNEbUl4OPJyd72MqeYXYuk+r7QkJSy8ac8NxpC0RK7R/WzIJCS65 mCFY0LfHTyvULuj23NVx61CpPDu5hFczgs1m1IYaEK8Vp6pLGK2UO85aLwJMSrTCjjG8 GsbVsVesJmDtyxe+Li1dOcZrBvznnPGnYurFjMU4/8+l0bzlBt/vnfv3jR59rh5BmrsH xTfz0xe2onAZLZih/ho3Eozvo3KGwA7SOgM0j5VFK/qoLYbR79nPKNHBPaLVng3l9APG xKjg==
- In-reply-to: <20130419105900.GB9553@xvii.vinc17.org>
- List-help: <mailto:zsh-workers-help@zsh.org>
- List-id: Zsh Workers List <zsh-workers.zsh.org>
- List-post: <mailto:zsh-workers@zsh.org>
- Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
- References: <20130419105900.GB9553@xvii.vinc17.org>
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