File tree Expand file tree Collapse file tree 1 file changed +7
-2
lines changed
Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Original file line number Diff line number Diff line change @@ -8,7 +8,6 @@ set -euo pipefail
88SCRIPT_DIR=" $( cd " $( dirname " ${BASH_SOURCE[0]} " ) " && pwd) "
99REPO_ROOT=" $( cd " $SCRIPT_DIR /.." && pwd) "
1010DEFAULT_WORKSPACE_DIR=" $REPO_ROOT /workspace"
11- readonly DEFAULT_WORKSPACE_DIR
1211WORKSPACE_DIR=" $DEFAULT_WORKSPACE_DIR "
1312MAX_UMOUNT_PASSES=5
1413FORCE_DELETE=false
@@ -100,8 +99,14 @@ if ! command -v realpath >/dev/null 2>&1; then
10099 exit 1
101100fi
102101
102+ if ! DEFAULT_WORKSPACE_DIR=" $( realpath -m " $DEFAULT_WORKSPACE_DIR " 2> /dev/null) " ; then
103+ echo " Failed to resolve default workspace directory path: $DEFAULT_WORKSPACE_DIR " >&2
104+ exit 1
105+ fi
106+ readonly DEFAULT_WORKSPACE_DIR
107+
103108if ! WORKSPACE_DIR=" $( realpath -m " $WORKSPACE_DIR " 2> /dev/null) " ; then
104- echo " Failed to resolve workspace directory path: $WORKSPACE_DIR " >&2
109+ echo " Failed to canonicalize workspace directory path (check permissions or path validity) : $WORKSPACE_DIR " >&2
105110 exit 1
106111fi
107112
You can’t perform that action at this time.
0 commit comments