+ options='-h --help -p --port= -m --machine= -d --directory= -u --user= --with-mpi-module= --config= --extra_env='
+ ;;
+ info)
+ options='-h --help -p --ports -v --version'
+ ;;
+ connect)
+ options='-h --help -c -p'
+ ;;
+ test)
+ options='-h --help --print-labels'