#!/bin/bash WARFILE="${1}" if [ ! -f "${WARFILE}" -o "${WARFILE%.war}.war" != "${WARFILE}" ]; then echo "War file ${WARFILE} is missing or doesn't end in .war" exit 1 fi PATH="${2}" if [ -z "${PATH}" -o ""`/bin/basename "${PATH}"` != "${PATH}" ]; then echo "Path is missing or invalid" exit 1 fi WEBAPP="/home/laszlo/public_html/labs/${WEBAPP}"`/bin/basename "${WARFILE}" .war` HOST="labs.openlaszlo.org" PORT="9080" echo "Copying ${WARFILE} to ${HOST}:${WEBAPP}.war" echo "Unpacking into ${WEBAPP}" echo "Deploying as /${PATH} (Tomcat at ${PORT})" /usr/bin/scp "${WARFILE}" "laszlo@${HOST}:${WEBAPP}.war" /usr/bin/ssh "laszlo@${HOST}" <