diff options
Diffstat (limited to 'libre/jedit/jedit.sh')
-rw-r--r-- | libre/jedit/jedit.sh | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/libre/jedit/jedit.sh b/libre/jedit/jedit.sh index f05359f2d..84f07bdae 100644 --- a/libre/jedit/jedit.sh +++ b/libre/jedit/jedit.sh @@ -1,16 +1,18 @@ #!/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 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 $HOME/.jedit - cp /usr/share/jedit/default.props $HOME/.jedit/properties + mkdir -p "$HOME/.jedit" + cp "/usr/share/jedit/default.prop"s "$HOME/.jedit/properties" fi fi -# Set jvm heap initial and maximum sizes (in megabytes). +# 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" "$@" |