diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-02 12:54:08 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-02 12:54:08 -0500 |
commit | 3cffab767672f518757f9c797cb4ef8280eb981d (patch) | |
tree | dda157daca4878eb5cb91dafe7ede05dface6942 /libre/jedit/jedit.sh | |
parent | 231a1da7f46df7f9dc2b7f18217954f38b2f11f0 (diff) |
jedit-5.3.0-4.parabola1: rebuild
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" "$@" |