annotate package-files/linux/jpegwasher @ 56:224572069e36

Always define an editor kit, so we always get HTML mode.
author davidb
date Thu, 07 May 2020 17:12:25 -0700
parents bcbc92ffe0d0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
34
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
1 #!/bin/sh
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
2 #
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
3 # Runs JpegWasher. Adopted from a similar script in the jEdit distribution.
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
4 #
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
5 # Find a java installation.
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
6 if [ -z "${JAVA_HOME}" ]; then
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
7 echo 'Warning: $JAVA_HOME environment variable not set! Consider setting it.'
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
8 echo ' Attempting to locate java...'
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
9 j=`which java 2>/dev/null`
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
10 if [ -z "$j" ]; then
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
11 echo "Failed to locate the java virtual machine! Bailing..."
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
12 exit 1
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
13 else
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
14 echo "Found a virtual machine at: $j..."
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
15 JAVA="$j"
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
16 fi
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
17 else
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
18 JAVA="${JAVA_HOME}/bin/java"
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
19 fi
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
20
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
21 # Antialias menus and dockable text:
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
22 ANTIALIAS_ALL="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true"
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
23
d175593317a8 Add a bunch of packaging stuff, NOT WORKING YET,
David Barts <n5jrn@me.com>
parents:
diff changeset
24 # Launch application.
35
bcbc92ffe0d0 Makes a .deb file at long last, but Duke still shows up as an icon in the dock.
David Barts <n5jrn@me.com>
parents: 34
diff changeset
25 exec "${JAVA}" ${ANTIALIAS_ALL} -jar "/usr/share/jpegwasher/@jar.filename@"