diff options
Diffstat (limited to 'libre/jedit/jedit.sh')
| -rw-r--r-- | libre/jedit/jedit.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/libre/jedit/jedit.sh b/libre/jedit/jedit.sh deleted file mode 100644 index df16cfa6a..000000000 --- a/libre/jedit/jedit.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash - -# Runs jEdit - Programmer's Text Editor - -# If both $HOME/.jedit and $HOME/.jedit/properties doesn't exist, -# copy in a default property file. -if [ ! -e $HOME/.jedit ]; then - if [ ! -e $HOME/.jedit/properties ]; then - mkdir -p "$HOME/.jedit" - cp "/usr/share/jedit/default.prop"s "$HOME/.jedit/properties" - fi -fi - -# Set the initial and maximum JVM heap size -JAVA_HEAP_MAX_SIZE=192 - -# Start jEdit -exec java -Xmx${JAVA_HEAP_MAX_SIZE}M -Dawt.useSystemAAFontSettings=lcd -jar "/usr/share/java/jedit/jedit.jar" "$@" |