clean-up

scripts/install_core_dependencies.sh

@@ -3,7 +3,7 @@
 root_folder=$(realpath $(dirname "$(readlink -f "${BASH_SOURCE[0]}")")/..)
 source ${root_folder}/scripts/load_env.sh
 
-# Comment this line out if you want to use it inside docker.
+# Uncomment the following line if you want to use this script inside Docker.
 # apt-get update && apt-get install -y --no-install-recommends --no-install-suggests git python3 python3-dev python3-pip python-is-python3 sudo
 
 # Create external folder.

scripts/load_env.sh

@@ -1,6 +1,4 @@
 #!/usr/bin/env bash
 
-# PS4='\033[1;96m$(date +%H:%M:%S)\033[0m '
-
 PS4='\033[0;32m$(date "+%Y%m%d %H:%M:%S.%N") $BASH_SOURCE:$LINENO]\033[0m '
 set -euxo pipefail