view package-files/linux/jpegwasher @ 41:4903ac32a287

Work around minor bash bug.
author David Barts <n5jrn@me.com>
date Fri, 01 May 2020 23:12:35 -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@"