Le 2001.09.14 10:20, GOMEZ Henri a écrit :
> Hi man,
>
> I'm learning to you.
>
> What do you want exactly ?
>
> Move tomcat configuration to /etc ?
Well that would be also great (missed this one, damned:)
What this bug is about is just moving
***
PATH=$PATH:/opt/IBMJava2-13/bin:/opt/IBMJava2-13/jre/bin
JAVA_HOME=/opt/IBMJava2-13
TOMCAT_HOME=/var/tomcat
export PATH JAVA_HOME TOMCAT_HOME
***
to a file in /etc, for example /etc/tomcat.conf
and add the lines
***
TOMCATCFG=/etc/tomcat.conf
if [ -f "$TOMCATCFG" ]; then
. "$TOMCATCFG"
else
echo $"(no tomcat configuration found)"
exit 1
fi
***
to /etc/rc.d/init.d/tomcat
This way /etc/rc.d/init.d/tomcat can change from one rpm to
the next one, but /etc/tomcat.conf can be marked as a config
file so users will keep their own parameters.
(a more complete solution is reading /etc/tomcat.conf if it
exists, and putting defaults in /etc/rc.d/init.d/tomcat)
***
TOMCATCFG=/etc/tomcat.conf
[ -e $TOMCATCFG ] && . $TOMCATCFG
if [ -z "$JAVA_HOME" ]; then
JAVA_HOME="/opt/IBMJava2-13"
fi
***
and so on.
Hope this is clear (mon anglais n'est pas fantastique)
--
Nicolas Mailhot
