the zsh bug I linked was marked as NOTABUG. It seems zsh used to source /etc/profile, but that was changed at one point, to fix some other problem.
So "fixing" zsh does not seem like a viable option :/
the zsh bug I linked was marked as NOTABUG.
It seems zsh used to source /etc/profile, but that was changed at one point, to fix some other problem.
So "fixing" zsh does not seem like a viable option :/