Re: [RFC PATCH 3/3] FAQ: sync newuser-install

[Roman Perepelitsa <roman.perepelitsa@xxxxxxxxx>]

On Sat, Sep 3, 2022 at 9:07 PM Felipe Contreras
<felipe.contreras@xxxxxxxxx> wrote:
>
> On Sat, Sep 3, 2022 at 8:39 AM Roman Perepelitsa
> <roman.perepelitsa@xxxxxxxxx> wrote:
> >
> > On Fri, Sep 2, 2022 at 5:46 AM Mikael Magnusson <mikachu@xxxxxxxxx> wrote:
> > >
> > > SAVEHIST greater than HISTSIZE is always equivalent to
> > > its being equal to HISTSIZE [...]
> >
> > I believe this is the case as far as using history from within zsh is
> > concerned. If I understand correctly, Felipe wants to have fewer
> > commands available in history when using zsh than what is stored in
> > HISTFILE. I'm not sure under which circumstances this can be desired.
> > Perhaps when working on a system with very little RAM, plenty of disk
> > space and no swap? In any case, I wouldn't recommend using such a
> > configuration to beginners because it's bound to cause confusion. It
> > can be surprising when some lines from HISTFILE aren't available when
> > searching or printing history from within zsh.
>
> No, this is not what I want.

My apologies. I thought this was what you wanted based on [1] where
you mentioned that you set history parameters thus:

    HISTFILE=~/.history
    HISTSIZE=10000
    SAVEHIST=50000

> SAVEHIST was created for a reason, and my script demonstrated that
> reason.

I don't think your script does that.

>  If it was true that SAVEHIST should *always* be the same and
> HISTSIZE

Does anyone claim that?

> This is not something new users should be burdened with, they don't
> need to know what SAVEHIST means, just that it should be set to
> $HISTSIZE.

Can you clarify what you mean here? Are you saying that there are no
use cases for setting SAVEHIST and HISTSIZE to different (unequal)
values? Or perhaps that the vast majority of users would be best
served by setting these parameters to the same value? I think both of
these statements are false.

Roman.

[1] https://www.reddit.com/r/zsh/comments/wy0sm6/what_is_your_history_configuration/