aboutsummaryrefslogtreecommitdiffstats
path: root/launcher
diff options
context:
space:
mode:
authorJiri Vanek <[email protected]>2013-07-18 08:53:46 +0200
committerJiri Vanek <[email protected]>2013-07-18 08:53:46 +0200
commit3650eabff054cd3c6b3670d248ffeb04e0b76478 (patch)
tree47d498921c29cd34a48026ac5c4a1b17b27aa3cd /launcher
parent0fe719f17d81f95491b939f23b5d5c3111f7c427 (diff)
IcedTea-Web is now following XDG .config and .cache specification(RH947647)
Diffstat (limited to 'launcher')
-rw-r--r--launcher/launchers.in11
1 files changed, 10 insertions, 1 deletions
diff --git a/launcher/launchers.in b/launcher/launchers.in
index 008a4db..a397890 100644
--- a/launcher/launchers.in
+++ b/launcher/launchers.in
@@ -9,9 +9,18 @@ SPLASH_LOCATION=@JAVAWS_SPLASH_LOCATION@
PROGRAM_NAME=@PROGRAM_NAME@
CP=@JRE@/lib/rt.jar
+CONFIG_HOME=$XDG_CONFIG_HOME
+if [ "x$CONFIG_HOME" = "x" ] ; then
+ CONFIG_HOME=~/.config
+fi;
PROPERTY_NAME=deployment.jre.dir
CUSTOM_JRE_REGEX="^$PROPERTY_NAME *= *"
-CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" ~/.icedtea/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"`
+CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" $CONFIG_HOME/icedtea-web/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"`
+#now check in legacy one
+if [ "x$CUSTOM_JRE" = "x" ] ; then
+ CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" ~/.icedtea/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"`
+fi;
+#now check in global one
if [ "x$CUSTOM_JRE" = "x" ] ; then
CUSTOM_JRE=`grep "$CUSTOM_JRE_REGEX" /etc/.java/.deploy/deployment.properties 2>/dev/null | sed "s/$CUSTOM_JRE_REGEX//g"`
fi;