Re: [PATCH 1/2] Set SAVEHIST to $HISTSIZE by default

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

Felipe Contreras wrote on Tue, Aug 30, 2022 at 22:18:53 -0500:
> If they are the same, this makes it clearer that they are the same.
> 
> Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
> ---
>  Etc/FAQ.yo                            | 2 +-
>  Functions/Newuser/zsh-newuser-install | 2 +-
>  2 files changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/Etc/FAQ.yo b/Etc/FAQ.yo
> index 8c795685a..dd573767e 100644
> --- a/Etc/FAQ.yo
> +++ b/Etc/FAQ.yo
> @@ -1631,7 +1631,7 @@ label(321)
>    verb(
>      HISTSIZE=200
>      HISTFILE=~/.zsh_history
> -    SAVEHIST=200
> +    SAVEHIST=$HISTSIZE

Personally, I'm not going to commit this since I find the increased
semantic precision / DRY compliance to be outweighed by the reduced
readability (both here and in the code below, but for different
reasons).

>    )
>    tt($HISTSIZE) tells the shell how many lines to keep internally,
>    tt($HISTFILE) tells it where to write the history, and tt($SAVEHIST),
> diff --git a/Functions/Newuser/zsh-newuser-install b/Functions/Newuser/zsh-newuser-install
> index 9e911d07c..386844a71 100644
> --- a/Functions/Newuser/zsh-newuser-install
> +++ b/Functions/Newuser/zsh-newuser-install
> @@ -792,7 +792,7 @@ __zni_history_config() {
>    __zni_apply_defaults -p \
>      HISTSIZE 1000 "Number of lines of history kept within the shell." \
>      HISTFILE $zdmsg/.histfile "File where history is saved." \
> -    SAVEHIST 1000 "Number of lines of history to save to \$HISTFILE."
> +    SAVEHIST \$HISTSIZE "Number of lines of history to save to \$HISTFILE."
>  
>    if __zni_display_and_edit "History configuration"; then
>      install_state[history]="Unsaved changes"