summaryrefslogtreecommitdiff
path: root/libre/jedit/jedit.sh
diff options
context:
space:
mode:
Diffstat (limited to 'libre/jedit/jedit.sh')
-rw-r--r--libre/jedit/jedit.sh16
1 files changed, 16 insertions, 0 deletions
diff --git a/libre/jedit/jedit.sh b/libre/jedit/jedit.sh
new file mode 100644
index 000000000..f05359f2d
--- /dev/null
+++ b/libre/jedit/jedit.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+# Runs jEdit - Programmer's Text Editor
+
+# If $HOME/.jedit or $HOME/.jedit/properties exists, don't do anything.
+# If not, copy in a default property file.
+if [ ! -e $HOME/.jedit ]; then
+ if [ ! -e $HOME/.jedit/properties ]; then
+ mkdir $HOME/.jedit
+ cp /usr/share/jedit/default.props $HOME/.jedit/properties
+ fi
+fi
+
+# Set jvm heap initial and maximum sizes (in megabytes).
+JAVA_HEAP_MAX_SIZE=192
+
+exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@"