|
[Rivet] Problems with Rivet (make-plots)Jennifer Kieselmann Kieselmann at stud.uni-heidelberg.deFri Aug 17 14:17:09 BST 2012
Oh no, I am really sorry about that, now it is working. It was my fault, I somehow did not properly change my .profile (and yes, I was closing and opening a new shell.. Sorry for the confusion! And thanks a lot for your help! Cheers Jennifer On 17.08.2012 15:13, Hendrik Hoeth wrote: > Hi Jennifer, > > I've never seen that kind of behaviour before, so I'm a bit puzzled. Can > you please try the following on the command line and paste me the > result: > > unset TEXMFHOME > export TEXMFHOME=/scratch/kieselma/share/Rivet/texmf > echo $TEXMFHOME > > unset TEXMFHOME > export TEXMFHOME="/scratch/kieselma/share/Rivet/texmf:$TEXMFHOME" > echo $TEXMFHOME > > Cheers, > > Hendrik >
More information about the Rivet mailing list |