From 226fabf546de729d07e7bd6ee80e0151a41db414 Mon Sep 17 00:00:00 2001 From: Jean-Philippe Orsini Date: Fri, 20 Oct 2017 23:38:06 +0200 Subject: [PATCH] display usage when needed --- war/run.sh | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/war/run.sh b/war/run.sh index 65e7a29..73c9b1a 100755 --- a/war/run.sh +++ b/war/run.sh @@ -3,7 +3,12 @@ SDIR=`dirname $0` SWAR=`realpath $SDIR/target/pnews-1.0.war` +print_usage() { + echo "$0 " +} + if [ -z "$1" ]; then + print_usage exit 1 else SHARED_DIR="$1" -- 2.7.4