|
28
|
1 #!/bin/sh
|
|
|
2 #
|
|
|
3 # Runs ImagePrep. Adopted from a similar script in the jEdit distribution.
|
|
|
4 #
|
|
|
5 # Find a java installation.
|
|
|
6 if [ -z "${JAVA_HOME}" ]; then
|
|
|
7 echo 'Warning: $JAVA_HOME environment variable not set! Consider setting it.'
|
|
|
8 echo ' Attempting to locate java...'
|
|
|
9 j=`which java 2>/dev/null`
|
|
|
10 if [ -z "$j" ]; then
|
|
|
11 echo "Failed to locate the java virtual machine! Bailing..."
|
|
|
12 exit 1
|
|
|
13 else
|
|
|
14 echo "Found a virtual machine at: $j..."
|
|
|
15 JAVA="$j"
|
|
|
16 fi
|
|
|
17 else
|
|
|
18 JAVA="${JAVA_HOME}/bin/java"
|
|
|
19 fi
|
|
|
20
|
|
|
21 # Antialias menus and dockable text:
|
|
|
22 ANTIALIAS_ALL="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true"
|
|
|
23
|
|
|
24 # Launch application.
|
|
|
25 exec "${JAVA}" ${ANTIALIAS_ALL} -jar "/usr/share/imageprep/@jar.filename@"
|
