From 98ece298b7cb03de85cb042fa1114b3655283bcf Mon Sep 17 00:00:00 2001
From: Mark Evenson <evenson.not.org@gmail.com>
Date: Tue, 12 Mar 2024 08:45:51 +0100
Subject: [PATCH] ci: some hacks to ensure jenv can correctly add plugins

---
 ci/ensure-jenv-is-present.bash | 3 +--
 ci/install-jenv.bash           | 2 ++
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/ci/ensure-jenv-is-present.bash b/ci/ensure-jenv-is-present.bash
index eff7f1c14..f869dd07e 100644
--- a/ci/ensure-jenv-is-present.bash
+++ b/ci/ensure-jenv-is-present.bash
@@ -7,5 +7,4 @@ fi
 
 eval "$(jenv init -)"
 
-
-
+exec $SHELL -l
diff --git a/ci/install-jenv.bash b/ci/install-jenv.bash
index 4cd47cc77..60cc3d877 100644
--- a/ci/install-jenv.bash
+++ b/ci/install-jenv.bash
@@ -9,6 +9,8 @@ fi
 
 . ${DIR}/ensure-jenv-is-present.bash
 
+# hack
+export PROMP_COMMAND=""
 jenv enable-plugin ant
 jenv enable-plugin maven
 jenv enable-plugin export