comparison package-files/linux/jpegwasher @ 34:d175593317a8

Add a bunch of packaging stuff, NOT WORKING YET,
author David Barts <n5jrn@me.com>
date Wed, 29 Apr 2020 21:49:21 -0700
parents
children bcbc92ffe0d0
comparison
equal deleted inserted replaced
33:3d86f0391168 34:d175593317a8
1 #!/bin/sh
2 #
3 # Runs JpegWasher. 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/JpegWasher/jars/@jar.filename@"