From d83b9575daf7b9288baa9d6ac67d9a3bd61c6322 Mon Sep 17 00:00:00 2001
From: Pierre Kancir <pierre.kancir.emn@gmail.com>
Date: Mon, 27 Apr 2020 08:13:58 +0200
Subject: [PATCH] Tools: vagrant: check for $HOME/.local/bin on init for local
 python package

---
 Tools/vagrant/shellinit.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Tools/vagrant/shellinit.sh b/Tools/vagrant/shellinit.sh
index 8a37cb6ce0..ee070570ac 100644
--- 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