From d37b8677b67f4dadb0a2c824e35ad076f3746c89 Mon Sep 17 00:00:00 2001 From: Martin Blazik Date: Mon, 14 Sep 2020 12:31:18 +0200 Subject: [PATCH] Fix WORKSPACE path Link to full (not relative) path --- bashrc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bashrc b/bashrc index 1d3bcec..05e2f83 100644 --- a/bashrc +++ b/bashrc @@ -1,5 +1,6 @@ if [[ $0 != $BASH_SOURCE ]]; then - WORKSPACE=$(dirname $BASH_SOURCE) + WORKSPACE_PATH=$(realpath $BASH_SOURCE) + export WORKSPACE=$(dirname $WORKSPACE_PATH) for rc_file in $WORKSPACE/rc/*.rc; do source $rc_file @@ -10,3 +11,4 @@ if [[ $0 != $BASH_SOURCE ]]; then else echo "not sourced" fi +