blob: df16cfa6a8df9d96878b300c54819508e348f371 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/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" "$@"
|
