Hi Paul, Sergiu,
Paul Libbrecht wrote:
Ricardo,
Just do a wrapper shell script, call it mvn and put it in your path
befure /usr/bin/mvn.
I put this in the bin of our general utilities, which is put in path
by my ~/.bash_profile before the others.
Hence i obtain the following which you could easily change:
$ cat `which mvn`
#!/bin/sh
MAVEN_OPTS=-Xmx600m
export MAVEN_OPTS
/project/activemath/javalibs/maven/apache-maven-2.0.9/bin/mvn "$@"
Putting concerned variables in ~/.bash_profile did the trick. So,
please, what is the advantage of using a wrapper shell script if I can
pass any and all required variables with ~/.bash_profile to the shell?
Thanks!
Cheers,
Ricardo
--
Ricardo RodrÃguez
Your EPEC Network ICT Team