diff --git a/devops.sh b/devops.sh new file mode 100644 index 0000000..19c3ddc --- /dev/null +++ b/devops.sh @@ -0,0 +1,127 @@ +# /bin/bash + +KATZENMINT=0 +MIX=0 +PROVIDER=0 +ERROR=0 +CONFIGDIR=$(pwd) +BINARYDIR=$(pwd) + +while [ $# -gt 0 ]; do + case "$1" in + --katzenmint) + KATZENMINT=1 + ;; + --mix) + MIX=1 + ;; + --provider) + PROVIDER=1 + ;; + --configdir) + CONFIGDIR="$2" + shift + ;; + --binarydir) + BINARYDIR="$2" + shift + ;; + *) + echo "Illegal option $1" + ERROR=1 + ;; + esac + shift $(( $# > 0 ? 1 : 0 )) +done + +usage () { + cat <