* History saving doesn't work with "zsh -f"
@ 2013-04-19 10:59 Vincent Lefevre
2013-04-19 15:54 ` Mikael Magnusson
0 siblings, 1 reply; 5+ messages in thread
From: Vincent Lefevre @ 2013-04-19 10:59 UTC (permalink / raw)
To: zsh-workers
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)
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: History saving doesn't work with "zsh -f"
2013-04-19 10:59 History saving doesn't work with "zsh -f" Vincent Lefevre
@ 2013-04-19 15:54 ` Mikael Magnusson
2013-04-20 8:14 ` Vincent Lefevre
0 siblings, 1 reply; 5+ messages in thread
From: Mikael Magnusson @ 2013-04-19 15:54 UTC (permalink / raw)
To: zsh-workers
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: History saving doesn't work with "zsh -f"
2013-04-19 15:54 ` Mikael Magnusson
@ 2013-04-20 8:14 ` Vincent Lefevre
2013-04-20 12:29 ` Mikael Magnusson
0 siblings, 1 reply; 5+ messages in thread
From: Vincent Lefevre @ 2013-04-20 8:14 UTC (permalink / raw)
To: zsh-workers
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)
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: History saving doesn't work with "zsh -f"
2013-04-20 8:14 ` Vincent Lefevre
@ 2013-04-20 12:29 ` Mikael Magnusson
2013-04-20 22:37 ` Vincent Lefevre
0 siblings, 1 reply; 5+ messages in thread
From: Mikael Magnusson @ 2013-04-20 12:29 UTC (permalink / raw)
To: zsh-workers
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
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: History saving doesn't work with "zsh -f"
2013-04-20 12:29 ` Mikael Magnusson
@ 2013-04-20 22:37 ` Vincent Lefevre
0 siblings, 0 replies; 5+ messages in thread
From: Vincent Lefevre @ 2013-04-20 22:37 UTC (permalink / raw)
To: zsh-workers
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)
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2013-04-20 22:37 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-04-19 10:59 History saving doesn't work with "zsh -f" Vincent Lefevre
2013-04-19 15:54 ` Mikael Magnusson
2013-04-20 8:14 ` Vincent Lefevre
2013-04-20 12:29 ` Mikael Magnusson
2013-04-20 22:37 ` Vincent Lefevre
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).