#!/bin/sh ## ## RedPen startup script ## SCRIPT="$0" # SCRIPT may be an arbitrarily deep series of symlinks. Loop until we have the concrete path. while [ -h "$SCRIPT" ] ; do ls=`ls -ld "$SCRIPT"` # Drop everything prior to -> link=`expr "$ls" : '.*-> \(.*\)$'` if expr "$link" : '/.*' > /dev/null; then SCRIPT="$link" else SCRIPT=`dirname "$SCRIPT"`/"$link" fi done # Find RedPen home REDPEN_HOME=`dirname "$SCRIPT"`/.. # Make REDPEN_HOME absolute REDPEN_HOME=`cd "$REDPEN_HOME"; pwd` REDPEN_CLASSPATH=$REDPEN_HOME/conf/*:$REDPEN_HOME/lib/* if [ -z "$JAVA_HOME" ]; then echo "Error: JAVA_HOME is not defined. Can not start RedPen" 1>&2 exit 1 fi JAVA_OPTS="$JAVA_OPTS -Dlogback.configurationFile=$REDPEN_HOME/conf/logback.xml" JAVA_CMD="$JAVA_HOME/bin/java" if [ ! -x "$JAVA_CMD" ]; then echo "Error: $JAVA_CMD is not execututable. Can not start RedPen" 1>&2 exit 1 fi exec "$JAVA_CMD" $JAVA_OPTS \ -classpath "$REDPEN_CLASSPATH" \ cc.redpen.Main \ "$@"