Mercurial > cgi-bin > hgweb.cgi > JpegWasher
view 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 |
line wrap: on
line source
#!/bin/sh # # Runs JpegWasher. Adopted from a similar script in the jEdit distribution. # # Find a java installation. if [ -z "${JAVA_HOME}" ]; then echo 'Warning: $JAVA_HOME environment variable not set! Consider setting it.' echo ' Attempting to locate java...' j=`which java 2>/dev/null` if [ -z "$j" ]; then echo "Failed to locate the java virtual machine! Bailing..." exit 1 else echo "Found a virtual machine at: $j..." JAVA="$j" fi else JAVA="${JAVA_HOME}/bin/java" fi # Antialias menus and dockable text: ANTIALIAS_ALL="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true" # Launch application. exec "${JAVA}" ${ANTIALIAS_ALL} -jar "/usr/share/jpegwasher/@jar.filename@"