#!/bin/bash

# cd into the directory containing this script (from the bash faq 028)
if [[ $BASH_SOURCE = */* ]]; then
  cd -- "${BASH_SOURCE%/*}/" || exit
fi

DOCKER_ENV="env"
if [ "$OVERLOAD_CORES" != "" ]; then
    DOCKER_ENV="$DOCKER_ENV OVERLOAD_CORES=$OVERLOAD_CORES"
fi
if [ "$SHRINK_TO_MEM" != "" ]; then
    DOCKER_ENV="$DOCKER_ENV SHRINK_TO_MEM=$SHRINK_TO_MEM"
fi

./start-docker
docker exec -it ${TEEMS_DOCKER_PREFIX}teems $DOCKER_ENV ./short_exp.py
docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Short_test/ID Short_test/id-channel.csv
echo
echo "=== Short test output ==="
echo
docker exec -it ${TEEMS_DOCKER_PREFIX}teems cat Short_test/id-channel.csv
echo

./stop-docker >/dev/null