| #!/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 |