From 88605b6fbcf76e187584259565af1e7f32c80a4e Mon Sep 17 00:00:00 2001 From: Martin Blazik Date: Mon, 14 Sep 2020 12:15:13 +0200 Subject: [PATCH] Add $WORKSPACE/bin into PATH --- bashrc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bashrc b/bashrc index 5458526..1d3bcec 100644 --- a/bashrc +++ b/bashrc @@ -4,7 +4,9 @@ if [[ $0 != $BASH_SOURCE ]]; then for rc_file in $WORKSPACE/rc/*.rc; do source $rc_file done + + + PATH=$($WORKSPACE/bin/path-uniq.py $WORKSPACE/bin) else echo "not sourced" fi -