diff options
Diffstat (limited to 'graphics/yed/files/yed.in')
| -rw-r--r-- | graphics/yed/files/yed.in | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/graphics/yed/files/yed.in b/graphics/yed/files/yed.in index afb5d07..a16eb26 100644 --- a/graphics/yed/files/yed.in +++ b/graphics/yed/files/yed.in @@ -1,2 +1,11 @@ #!/bin/sh + +#: ${JAVA_HOME=%%PREFIX%%/openjdk8} +JAVA_HOME=%%PREFIX%%/openjdk8 + +if [ ! -x ${JAVA_HOME}/bin/java ]; then + echo "No java distribution in ${JAVA_HOME}" + exit 1 +fi + exec java -Dawt.useSystemAAFontSettings=on -jar %%DATADIR%%/yed.jar |
