From 9edc45cd782e21bd3168c0d1230a7d044246a2e7 Mon Sep 17 00:00:00 2001 From: MisterMartin Date: Mon, 25 Sep 2017 13:53:37 -0600 Subject: [PATCH] Print out environment settings even if there isn't a chords_env.sh. --- chords_start.sh | 3 ++- create_chords_env_script.sh | 6 ------ 2 files changed, 2 insertions(+), 7 deletions(-) diff --git a/chords_start.sh b/chords_start.sh index a176041f..bbd86b01 100755 --- a/chords_start.sh +++ b/chords_start.sh @@ -56,8 +56,9 @@ mkdir -p log if [ -e $chords_env ] then . $chords_env - env fi +echo "echo CHORDS environment settings:" +env # Set some other interesting environment variables. export CHORDS_KERNEL_NAME=`uname --kernel-name` diff --git a/create_chords_env_script.sh b/create_chords_env_script.sh index 93011216..0828b240 100755 --- a/create_chords_env_script.sh +++ b/create_chords_env_script.sh @@ -15,9 +15,3 @@ echo "export CHORDS_GIT_SHA=\"$CHORDS_GIT_SHA\"" echo "export CHORDS_GIT_BRANCH=\"$CHORDS_GIT_BRANCH\"" echo "export CHORDS_BUILD_TIME=\"$CHORDS_BUILD_TIME\"" echo "#" -echo "echo CHORDS environment settings:" -echo "echo CHORDS_GIT_SHA=\$CHORDS_GIT_SHA" -echo "echo CHORDS_GIT_BRANCH=\$CHORDS_GIT_BRANCH" -echo "echo CHORDS_BUILD_TIME=\$CHORDS_BUILD_TIME" - -#chmod a+x $chords_env_script