Please apply this one, too.
I think it makes perfect sense.
[...]
> # Parent 334ccd4978ac4d7e4f774bbdb8b876c7570a0d81
> Only read .zshrc.global if $ZSHRC_GLOBAL_HAS_BEEN_READ is not set yet
>
> diff -r 334ccd4978ac -r 7fdd3d007553 etc/skel/.zshrc
> --- a/etc/skel/.zshrc Fri Dec 07 08:17:38 2007 +0100
> +++ b/etc/skel/.zshrc Fri Dec 07 08:31:46 2007 +0100
> @@ -15,7 +15,9 @@
[...]
> - [[ -r "${HOME}/.zshrc.global" ]] && source "${HOME}/.zshrc.global"
> + [[ -z "$ZSHRC_GLOBAL_HAS_BEEN_READ" ]] \
> + && [[ -r "${HOME}/.zshrc.global" ]] \
> + && source "${HOME}/.zshrc.global"
>
> # }}}
Patch appended. Again. (I hate my unstable ppp connection these days).
Regards, Frank |