Commit 7150f121 authored by Andy Wilkinson's avatar Andy Wilkinson

Redirect stdout from cd to /dev/null in CLI's bash script

Fixes gh-17579
parent ee89e0ef
...@@ -87,10 +87,10 @@ if [ -z "${SPRING_HOME}" ]; then ...@@ -87,10 +87,10 @@ if [ -z "${SPRING_HOME}" ]; then
fi fi
done done
SAVED="$(pwd)" SAVED="$(pwd)"
cd "$(dirname "${PRG}")/../" >&- || exit 1 cd "$(dirname "${PRG}")/../" > /dev/null || exit 1
SPRING_HOME="$(pwd -P)" SPRING_HOME="$(pwd -P)"
export SPRING_HOME export SPRING_HOME
cd "$SAVED" >&- || exit 1 cd "$SAVED" > /dev/null || exit 1
fi fi
if [ ! -d "${SPRING_HOME}" ]; then if [ ! -d "${SPRING_HOME}" ]; then
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment