diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-27 07:56:17 -0500 |
commit | d3bead6e6ee8703915dcc7c501fd3e198899ba5c (patch) | |
tree | e6c493754df3ed95d05e50775fc2d3abd00ffd50 /libre/jedit/jedit.sh | |
parent | 1cba537c2b57e0b3d656d257c8cec2750e0c41a6 (diff) | |
download | abslibre-d3bead6e6ee8703915dcc7c501fd3e198899ba5c.tar.gz abslibre-d3bead6e6ee8703915dcc7c501fd3e198899ba5c.tar.bz2 abslibre-d3bead6e6ee8703915dcc7c501fd3e198899ba5c.zip |
jedit: add new package to [libre]
Diffstat (limited to 'libre/jedit/jedit.sh')
-rw-r--r-- | libre/jedit/jedit.sh | 16 |
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" "$@" |