From 4be1388658fdf4f43ce19ebb80d5134c16cb6b71 Mon Sep 17 00:00:00 2001
From: Matthieu Fernandes <matthieu.fernandes@gmail.com>
Date: Fri, 25 Oct 2019 15:40:39 +0200
Subject: [PATCH] add exec-env to set JAVA_HOME in case java is managed by asdf
 java plugin

---
 bin/exec-env | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 bin/exec-env

diff --git a/bin/exec-env b/bin/exec-env
new file mode 100755
index 0000000..e43cd56
--- /dev/null
+++ b/bin/exec-env
@@ -0,0 +1,7 @@
+#!/bin/bash
+# if asdf provides java, then let's use that rather the system one (if at all avail)
+if asdf current java > /dev/null 2>&1 ; then
+    JAVA_HOME=$(asdf where java)
+    export JAVA_HOME
+fi
+