blob: f05359f2d40948bfdbdff981d734abbe747487dd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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" "$@"
|
