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