install.sh

#!/bin/sh
#
#  A very simple installer script which restarts tomcat as well.
#
#  This is just a sample.
#

if [ "$1" = "public" ]
then
    echo "Installing in public"
    TOMCAT_HOME=/p/web/tomcat/current/
    private=0
else
    echo "Installing in private"
    TOMCAT_HOME=$HOME/jakarta-tomcat-3.2.2
    private=1
fi

$TOMCAT_HOME/bin/shutdown.sh

ant clean
ant war

rm -rf $TOMCAT_HOME/webapps/JSPWiki
USER=`whoami`
cp /tmp/$USER/JSPWiki/install/*.war $TOMCAT_HOME/webapps

cd $TOMCAT_HOME/webapps
rm -rf JSPWiki
mkdir JSPWiki
cd JSPWiki
jar xf ../JSPWiki.war

#
#  Copy private things.
#
if [ $private -eq 1 ]
then
    cp -v $HOME/Projects/JSPWiki/jspwiki.properties $TOMCAT_HOME/webapps/JSPWiki/WEB-INF/
fi

$TOMCAT_HOME/bin/startup.sh