From 5eb101a3c8caeb1225630909a1168f46c787a69d Mon Sep 17 00:00:00 2001 From: David Avendasora Date: Thu, 8 Sep 2022 12:17:42 +0700 Subject: [PATCH] Correct Unbuntu .userPrefs directory MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit java.util.prefs.userRoot should simply point to ${USER_HOME}. Specifying “${USER_HOME}.java/.userPrefs” is redundant and causes java.util.prefs.userRoot to be defined as “${USER_HOME}.java/.userPrefs/.java/.userPrefs” --- dockerfiles/ubuntu/is/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerfiles/ubuntu/is/Dockerfile b/dockerfiles/ubuntu/is/Dockerfile index a78ec12e..9645a808 100755 --- a/dockerfiles/ubuntu/is/Dockerfile +++ b/dockerfiles/ubuntu/is/Dockerfile @@ -126,7 +126,7 @@ USER ${USER_ID} WORKDIR ${USER_HOME} # set environment variables -ENV JAVA_OPTS="-Djava.util.prefs.systemRoot=${USER_HOME}/.java -Djava.util.prefs.userRoot=${USER_HOME}/.java/.userPrefs" \ +ENV JAVA_OPTS="-Djava.util.prefs.systemRoot=${USER_HOME}/.java -Djava.util.prefs.userRoot=${USER_HOME}" \ WORKING_DIRECTORY=${USER_HOME} \ WSO2_SERVER_HOME=${WSO2_SERVER_HOME}