Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: [PATCH] docs: GLOBAL_RCS option is set with +d



Thanks!  Merged.

Miroslav Koškár wrote on Wed, 17 Jun 2020 08:02 +0200:
> ---
>  Doc/Zsh/options.yo | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/Doc/Zsh/options.yo b/Doc/Zsh/options.yo
> index 6da6830..b3bf11f 100644
> --- a/Doc/Zsh/options.yo
> +++ b/Doc/Zsh/options.yo
> @@ -1124,7 +1124,7 @@ pindex(GLOBALRCS)
>  pindex(NOGLOBALRCS)
>  cindex(startup files, global, inhibiting)
>  cindex(files, global startup, inhibiting)
> -item(tt(GLOBAL_RCS) (tt(-d)) <D>)(
> +item(tt(GLOBAL_RCS) (tt(+d)) <D>)(
>  If this option is unset, the startup files tt(zprofile()),
>  tt(zshrc()), tt(zlogin()) and tt(zlogout()) will not be run.  It
>  can be disabled and re-enabled at any time, including inside local startup



Messages sorted by: Reverse Date, Date, Thread, Author