Tools: vagrant: check for $HOME/.local/bin on init for local python p…

…ackage
amitjoshi438 · Apr 30, 2020 · d83b957 · d83b957
1 parent 05f8d76
commit d83b957
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Tools/vagrant/shellinit.sh b/Tools/vagrant/shellinit.sh
@@ -7,6 +7,14 @@ export PATH=$PATH:$HOME/jsbsim/build/src
 export BUILDLOGS=/tmp/buildlogs
 
 export APMROOT=/vagrant
+new=$HOME/.local/bin
+case ":${PATH:=$new}:" in
+    *:"$new":*)  ;;
+    *) if [ -d "$HOME/.local/bin" ] ; then
+          export PATH="$new:$PATH"
+       fi ;;
+esac
+
 export PATH=$APMROOT/Tools/autotest:$PATH
 export PATH=/usr/lib/ccache:$PATH