#! @shell@ set -e set -o pipefail export PATH=@path@:$PATH showSyntax() { echo "$0: