On Monday, April 20, 2015 at 3:27:45 AM UTC+2, François wrote: > > On 04/20/15 09:23, ggrafendorfer wrote: > > Sagetex e.g., is one reason: > > > > http://www.sagemath.org/doc/installation/sagetex.html > > I have to agree with other that setting SAGE_ROOT is > asking for trouble. For the case of of the makefile > we probably could do something about it. > > However I want go back to your use of sagetex. While > you could read that way if you are so minded I don't > think the documentation you point to requires you > to define SAGE_ROOT. > In fact I would say it actively ask to use the value > that SAGE_ROOT should have for the various scenarios. > > So for example if you define TEXINPUTS as suggested > instead of doing > export TEXINPUTS="SAGE_ROOT/local/share/texmf//:" > which wouldn't work I think, I would replace SAGE_ROOT > by the appropriate path. In my case something like > export > TEXINPUTS="/home/fbissey/sandbox/sage-6.5.beta1/local/share/texmf//:" > > This I believe would be working without ever having > to set SAGE_ROOT. > > Francois >
Of course I can replace SAGE_ROOT by its value on every appearance of SAGE_ROOT, and this will work. And if my sage root dir ever changes, I have to change this everywhere it appears, instead of just changing SAGE_ROOT. ;-) Do I have to change my understanding of the proper use and naming of envirionment variables!? I could also define my personal MY_PERSONAL_SAGE_ROOT to achieve what I want. I think if sage uses environment variables for intern use only, the naming should be appropriate and they should not be mentioned in the user manual, and if, with a big warning! Georg To avoid this i thought I'm smart and going to set SAGE_ROOT, -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
