History file not being written

History file not being written

[Jesper Holmberg]

Hi all,

question #1 from a newly-converted bash-user:

I can't get my histfile to work. I have put these lines in my .zshrc:

HISTFILE=~/.zsh_history  
HISTSIZE=5000
HISTFILESIZE=5000

setopt APPEND_HISTORY
setopt EXTENDED_HISTORY
setopt HIST_IGNORE_DUPS
setopt HIST_IGNORE_SPACE
setopt HIST_REDUCE_BLANKS


But this doesn't seem to work; my histfile never gets started. When I
exit zsh, no file is created or written to. What am I doing wrong?

TIA,

Jesper 


-- 
          Jesper Holmberg            |"But how can |
  jesper.holmberg@enst-bretagne.fr   | one be warm |
ENST Br, BP 832, 29285 Brest, FRANCE | alone?"     |

Re: History file not being written

[Zefram]

Jesper Holmberg wrote:
>HISTFILE=~/.zsh_history  
>HISTSIZE=5000
>HISTFILESIZE=5000

You want to set SAVEHIST, not HISTFILESIZE.

-zefram

Re: History file not being written

[Jesper Holmberg]

* On Thu Oct 18, Drew Perttula wrote:
> I'm using this (and it works):
> HISTSIZE=1000
> HISTFILE=~/.zsh_history
> SAVEHIST=1000

* On Thu Oct 18, Zefram wrote:
> You want to set SAVEHIST, not HISTFILESIZE.

Drew, Zefram: thanks, that's what I had missed. The "histfilesize" must
have slunk in there from my previous bash-files.

Jesper

-- 
Jesper Holmberg | tel: +33.2.29.00.21.75 |"But how can |
    jesper.holmberg@enst-bretagne.fr     | one be warm |
  ENST Br, BP 832, 29285 Brest, FRANCE   | alone?"     |