Broken /etc/zshrc ?

[Vincent Lefevre <vincent@xxxxxxxxxx>]

The /etc/zshrc (system zshrc file) contains the following line:

source /etc/profile

But /etc/profile sets the path (I think this is OK). Thus, if a
user sets his path in his .zshenv, then this path is lost because
/etc/zshrc is sourced after the user's .zshenv file.

I don't know if the /etc/zshrc was provided when compiling and
installing zsh or provided by my Linux distribution (SuSE 7.2).
Isn't this /etc/zshrc file broken? Shouldn't the /etc/profile
be sourced in the /etc/zshenv (which doesn't exist here)?

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/> - 100%
validated HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des
Jeux Mathématiques et Logiques, TETRHEX, etc.
Work: CR INRIA - computer arithmetic / SPACES project at LORIA