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

(CI) no tty mode, when reading docker output

.ci/install.bash

@@ -71,7 +71,7 @@ fi
 
 # Docker container can show a header on start-up. We don't want to capture it
 docker run --detach --tty --name tue-env "${IMAGE_NAME}:${BRANCH_TAG}"
-DOCKER_HOME=$(docker exec -t tue-env bash -c 'echo "${HOME}"' | tr -d '\r')
+DOCKER_HOME=$(docker exec tue-env bash -c 'echo "${HOME}"' | tr -d '\r')
 docker stop tue-env  &> /dev/null || true
 docker rm tue-env &> /dev/null || true
 
@@ -105,13 +105,11 @@ fi
 echo -e "\e[35m\e[1mtue-get install tue-documentation-github --no-ros-deps --doc-depend\e[0m"
 docker exec tue-env bash -c 'source ~/.bashrc; tue-get install tue-documentation-github --no-ros-deps --doc-depend'
 
-DOCKER_HOME=$(docker exec -t tue-env bash -c 'source ~/.bashrc; echo "$HOME"' | tr -d '\r')
-
 echo -e "\e[35m\e[1mdocker cp ${BASEDIR}/get_install_build_packages.py tue-env:${DOCKER_HOME}\e[0m"
 docker cp "${BASEDIR}"/get_install_build_packages.py tue-env:"${DOCKER_HOME}"
 
 echo -e "\e[35m\e[1m~/get_message_packages.py base_local_planner costmap_2d\e[0m"
-eval "$(docker exec -t tue-env bash -c 'source ~/.bashrc; ${HOME}/get_install_build_packages.py base_local_planner costmap_2d' | tr -d '\r')" # Skip base_local_planner and costmap_2d as these take too much time
+eval "$(docker exec tue-env bash -c 'source ~/.bashrc; ${HOME}/get_install_build_packages.py base_local_planner costmap_2d' | tr -d '\r')" # Skip base_local_planner and costmap_2d as these take too much time
 INSTALL_BUILD_TARGETS=("${INSTALL_BUILD_PKGS[@]/#/ros-}")
 echo -e "\e[35m\e[1mINSTALL_BUILD_PKGS=" "${INSTALL_BUILD_PKGS[*]}" "\e[0m"
 echo -e "\e[35m\e[1mBUILD_PKGS=" "${BUILD_PKGS[*]}" "\e[0m"