forked from pool/jedit
25 lines
620 B
Bash
25 lines
620 B
Bash
#!/bin/sh
|
|
#
|
|
# Runs jEdit
|
|
#
|
|
# You can specify which Java installation to use through the JAVA_HOME
|
|
# environment variable. Otherwise, this will look for Java in the
|
|
# system PATH.
|
|
#
|
|
# You can set a global value for JAVA_HOME in /etc/environment.
|
|
|
|
if [ -z "$JAVA_HOME" ]; then
|
|
JAVA=`which java 2>/dev/null`
|
|
if [ -z "$JAVA" ]; then
|
|
echo "Failed to find the java virtual machine! Bailing..."
|
|
exit 1
|
|
fi
|
|
else
|
|
JAVA="$JAVA_HOME/bin/java"
|
|
fi
|
|
|
|
# Antialias menus and dockable text:
|
|
ANTIALIAS_ALL="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true"
|
|
|
|
exec "${JAVA}" "${ANTIALIAS_ALL}" -jar @data/jedit.jar -reuseview "$@"
|