<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Apr 26, 2013 at 11:36 AM, Matthew Mondor <span dir="ltr"><<a href="mailto:mm_lists@pulsar-zone.net" target="_blank">mm_lists@pulsar-zone.net</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":1he">Then everything works fine.  Unless I'm mistaken, this is a standard<br>
interface, which is not likely to change unexpectedly?<br>
<div class="im"></div></div></blockquote></div><br>Yes. The problem with setenv is that the value of the TMP translation is set up during boot time, before your code is evaluated. You may rely on the current interface, though.<br>

<br clear="all"><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a>
</div></div>