Re: [PATCH 2/2] Increase default HISTSIZE to 1000

[Daniel Shahaf <d.s@daniel.shahaf.name>]

Felipe Contreras wrote on Tue, Aug 30, 2022 at 22:18:54 -0500:
> If the default is sensible it's not necessary for the user to change it.
> 
> Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
> ---
>  Etc/FAQ.yo                            | 13 +++++--------
>  Functions/Newuser/zsh-newuser-install |  1 -
>  StartupFiles/zshrc                    |  2 +-
>  configure.ac                          |  2 +-
>  4 files changed, 7 insertions(+), 11 deletions(-)
> 
> diff --git a/Etc/FAQ.yo b/Etc/FAQ.yo
> index dd573767e..4c058c363 100644
> --- a/Etc/FAQ.yo
> +++ b/Etc/FAQ.yo
> @@ -1626,19 +1626,16 @@ work?)
>  sect(Why is my history not being saved?)
>  label(321)
>  
> -  In zsh, you need to set three variables to make sure your history is
> +  In zsh, you need to set two variables to make sure your history is

If 1/2 is accepted, this sentence will be true for zsh 5.10, but the FAQ
is online and we may assume it's read by users of older releases as
well, so it'd be advisable for the answer to continue to cover 5.9
and older.

>    written out when the shell exits.  For example,
>    verb(
> -    HISTSIZE=200
>      HISTFILE=~/.zsh_history
>      SAVEHIST=$HISTSIZE
>    )
> -  tt($HISTSIZE) tells the shell how many lines to keep internally,
> -  tt($HISTFILE) tells it where to write the history, and tt($SAVEHIST),
> -  the easiest one to forget, tells it how many to write out.  The
> -  simplest possibility is to set it to the same as tt($HISTSIZE) as
> -  above.  There are also various options affecting history; see the
> -  manual.
> +  tt($HISTFILE) tells the shell where to write the history, and tt($SAVEHIST)
> +  tells it how many lines to write out.  The simplest possibility is to set it
> +  to the same as tt($HISTSIZE) as above.  There are also various options
> +  affecting history; see the manual.