<br><br><div class="gmail_quote">2012/7/4 Ettore Aldrovandi <span dir="ltr"><<a href="mailto:ealdrov@math.fsu.edu" target="_blank">ealdrov@math.fsu.edu</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Wed, Jul 04, 2012 at 09:35:01PM +0200, Yvon Thoraval wrote:<br>
>    In fact, it seems my /etc/zshenv was incomplete because it is this file<br>
>    setting ZDOT.<br>
<br>
</div>It is ZDOTDIR, not ZDOT.  I don't see why /etc/zshenv should set it.<br></blockquote><div><br></div><div>I've read  ZDOT in "zsh-templates-2.0.4" from MacPorts and Google Code.</div><div><br></div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im"><br>
>    Then I've updated it.<br>
<br>
</div>Why? /etc/zshenv should be pretty minimal, since it's executed by every<br>
instance of zsh. Moreover it belongs to the system and it is bound to<br>
be overwritten by system updates.</blockquote><div><br></div><div>OK, then it's better for me to put that in my ~.</div><div>Because the one in /etc didn't set the path correctly at the contrary of the same content in my home, looks strange.</div>
<div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> In fact the stock one just runs<br>
/usr/libexec/path_helper to set the path.  I think it would be<br>
advisable to leave it as it is.<br>
<div class="im"><br>
>    What does this "export" do exactly ?<br>
<br>
</div>It propagates the variables to the environment. If you just say<br>
<br>
        PATH=/usr/texbin:$PATH<br>
<br>
it only sets PATH to the value you want within the script's context.</blockquote><div><br></div><div>in a script ok, but in a .zshrc file ?</div><div> </div></div>