(CI) update styling

Author: MatthijsBurgh

.ci/pre_deploy.bash

@@ -7,7 +7,7 @@ set -o errexit
 # Standard argument parsing, example: install-package --branch=master --package=ros_robot
 for i in "$@"
 do
-    case $i in
+    case ${i} in
         * )
             # unknown option
             if [[ -n "${i}" ]]
@@ -21,5 +21,5 @@ done
 
 TUE_SYSTEM_DIR=$(docker exec -t tue-env bash -c 'source ~/.bashrc; echo "${TUE_SYSTEM_DIR}"' | tr -d '\r')
 
-echo -e "\e[35m\e[1m docker cp tue-env:${TUE_SYSTEM_DIR}/docs .\e[0m"
+echo -e "\e[35m\e[1mdocker cp tue-env:${TUE_SYSTEM_DIR}/docs .\e[0m"
 docker cp tue-env:"${TUE_SYSTEM_DIR}"/docs .