(CI) no TTY mode, when reading docker output (#42)

Author: MatthijsBurgh

.ci/pre_deploy.bash

@@ -20,7 +20,7 @@ do
 done
 
 # TODO(anyone): remove variable logic when tue-env is updated to new variable names
-TUE_ENV_WS_DIR=$(docker exec -t tue-env bash -c 'source ~/.bashrc; [[ -v TUE_ENV_WS_DIR || ! -v TUE_WS_DIR ]] || TUE_ENV_WS_DIR=${TUE_WS_DIR}; echo "${TUE_ENV_WS_DIR}"' | tr -d '\r')
+TUE_ENV_WS_DIR=$(docker exec tue-env bash -c 'source ~/.bashrc; [[ -v TUE_ENV_WS_DIR || ! -v TUE_WS_DIR ]] || TUE_ENV_WS_DIR=${TUE_WS_DIR}; echo "${TUE_ENV_WS_DIR}"' | tr -d '\r')
 
 echo -e "\e[35m\e[1mdocker cp tue-env:${TUE_ENV_WS_DIR}/docs .\e[0m"
 docker cp tue-env:"${TUE_ENV_WS_DIR}"/docs .