deploy_to_new_batch.sh (562B)
#!/bin/bash
BATCH_NAME=$1
THIS_BATCH=$2
WORKING_DIR=$3
NUMBER=$4
PORT=$5
TEMPLATE_DIR=$6
BATCH_REGISTRY=$7
if [ ! -d "${THIS_BATCH}" ]; then
echo "Error: Batch ${BATCH_NAME} not found"
exit 1
fi
if [ ! -d "${WORKING_DIR}" ]; then
echo "Error: Batch ${BATCH_NAME} has no template dir!"
exit 1
fi
echo "Deploying batch: ${BATCH_NAME} with ${NUMBER} servers"
cd ${WORKING_DIR} && make OPERATION=APPLY NUMBER=${NUMBER} PORT=${PORT} BATCH_ID=${BATCH_NAME}
echo "${BATCH_NAME}: ${NUMBER} servers" >> ${BATCH_REGISTRY}
echo "Batch deployed successfully!"