docs/examples/run-examples.sh

   1 #!/bin/bash
   2 SERVER=$1
   3 LOGIN=$2
   4 WORKSPACE=$3
   5 SERVER_PATH=$4
   6
   7 function usage {
   8   echo "usage: run-examples.sh <server> <login> <workspace> <server-path>"
   9   exit
  10 }
  11
  12 function run_examples {
  13                 for i in ./ex*.sh; do
  14                                 echo $i $SERVER $LOGIN $WORKSPACE $SERVER_PATH
  15                                 echo
  16                     $i $SERVER $LOGIN $WORKSPACE $SERVER_PATH
  17                                 echo
  18                 done
  19 }
  20
  21 if [ "x$SERVER" = "x" ] ||  [ "x$LOGIN" = "x" ] || [ "x$WORKSPACE" = "x" ] || [ "x$SERVER_PATH" = "x" ]; then usage; fi
  22
  23 run_examples