ci: some hacks to ensure jenv can correctly add plugins

easye · Mar 12, 2024 · 98ece29 · 98ece29
1 parent aec08b5
commit 98ece29
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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
Original file line number	Diff line number	Diff line change
Expand Up		@@ -7,5 +7,4 @@ fi

		eval "$(jenv init -)"



		exec $SHELL -l