fixing renderText script

This commit is contained in:
2026-06-11 15:14:00 +02:00
parent 3e922883f7
commit 9ad6b15130
302 changed files with 120914 additions and 20 deletions
Executable
+24
View File
@@ -0,0 +1,24 @@
#!/bin/sh
#
# Runs jEdit - Programmer's Text Editor.
#
# Find a java installation.
if [ -z "${JAVA_HOME}" ]; then
echo 'Warning: $JAVA_HOME environment variable not set! Consider setting it.'
echo ' Attempting to locate java...'
j=`which java 2>/dev/null`
if [ -z "$j" ]; then
echo "Failed to locate the java virtual machine! Bailing..."
exit 1
else
echo "Found a virtual machine at: $j..."
JAVA="$j"
fi
else
JAVA="${JAVA_HOME}/bin/java"
fi
# Launch application.
exec "${JAVA}" -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -jar "/home/kof/jEdit/5.5.0/jedit.jar" -reuseview "$@"