usr/src/cmd/jedit/patches/jedit.patch
author Jon Tibble <meths@btinternet.com>
Mon, 04 May 2015 14:04:39 +0100
branchoi_151a
changeset 254 9c2a4ac793f0
parent 0 b34509ac961f
permissions -rw-r--r--
Bash patch catchup including shellshock

--- jedit	Mon Apr 13 16:19:15 2009
+++ jedit.sh	Mon Apr 13 15:33:57 2009
@@ -1,0 +1,27 @@
+#!/bin/sh
+#
+# Runs jEdit - Programmer's Text Editor.
+#
+
+# Set jvm heap initial and maximum sizes (in megabytes).
+JAVA_HEAP_MAX_SIZE=192
+
+# 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
+
+# Launch application.
+
+exec $JAVA -Xmx${JAVA_HEAP_MAX_SIZE}M -jar /usr/share/jedit/jedit.jar -reuseview "$@" &