Merge pull request #2211 from devinbileck/configure-default-system-jdk

Configure default system JDK
This commit is contained in:
Manfred Karrer 2019-01-07 01:19:57 +01:00 committed by GitHub
commit 3c8bdafd71
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 0 deletions

View file

@ -1,3 +1,9 @@
:: This script will download and install the appropriate JDK for use with Bisq development.
:: It will also configure it as the default system JDK.
:: If you need to change to another default JDK for another purpose later, you just need to
:: change the JAVA_HOME environment variable. For example, use the following command:
:: setx /M JAVA_HOME "<JDK_PATH>"
@echo off
:: Ensure we have administrative privileges in order to install files and set environment variables

View file

@ -1,4 +1,10 @@
#!/usr/bin/env bash
# This script will download and install the appropriate JDK for use with Bisq development.
# It will also configure it as the default system JDK.
# If you need to change to another default JDK for another purpose later, you can use the
# following commands and select the default JDK:
# update-alternatives --config java
# update-alternatives --config javac
JAVA_HOME=/usr/lib/jvm/openjdk-10.0.2
JDK_FILENAME=openjdk-10.0.2_linux-x64_bin.tar.gz
@ -31,3 +37,6 @@ if [ ! -d "$JAVA_HOME" ]; then
update-alternatives --install /usr/bin/java java $JAVA_HOME/bin/java 2000
update-alternatives --install /usr/bin/javac javac $JAVA_HOME/bin/javac 2000
fi
update-alternatives --set java $JAVA_HOME/bin/java
update-alternatives --set javac $JAVA_HOME/bin/javac