diff options
author | Jiri Vanek <[email protected]> | 2013-07-18 08:53:46 +0200 |
---|---|---|
committer | Jiri Vanek <[email protected]> | 2013-07-18 08:53:46 +0200 |
commit | 3650eabff054cd3c6b3670d248ffeb04e0b76478 (patch) | |
tree | 47d498921c29cd34a48026ac5c4a1b17b27aa3cd /launcher | |
parent | 0fe719f17d81f95491b939f23b5d5c3111f7c427 (diff) |
IcedTea-Web is now following XDG .config and .cache specification(RH947647)
Diffstat (limited to 'launcher')
-rw-r--r-- | launcher/launchers.in | 11 |
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; |