From 6a536e91c615a461a79a1420fb712dbffc576439 Mon Sep 17 00:00:00 2001 From: Felix Van der Jeugt Date: Wed, 13 May 2020 10:59:28 +0200 Subject: [PATCH] replace JAVA_HOME --- profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profile b/profile index 15a3fbf..339f59d 100755 --- a/profile +++ b/profile @@ -12,7 +12,7 @@ chmod 0700 "$XDG_RUNTIME_DIR" export CABAL_HOME="$HOME/.cabal" export CARGO_HOME="$HOME/.cargo" export RBENV_HOME="$HOME/.rbenv" -export JAVA_HOME="/usr/lib/jvm/oracle-jdk/" +export JAVA_HOME="/usr/lib/jvm/openjdk11/" export TEX_BIN="/opt/texlive/2019/bin/x86_64-linux/" export PATH="$HOME/.local/bin:$CABAL_HOME/bin:$RBENV_HOME/shims:$CARGO_HOME/bin:$JAVA_HOME/bin:$TEX_BIN:$PATH"