Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Leap:16.0:Staging:adi:56
jedit
jedit.in
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File jedit.in of Package jedit
#!/bin/sh # # Runs jEdit # # You can specify which Java installation to use through the JAVA_HOME # environment variable. Otherwise, this will look for Java in the # system PATH. # # You can set a global value for JAVA_HOME in /etc/environment. if [ -z "$JAVA_HOME" ]; then JAVA=`which java 2>/dev/null` if [ -z "$JAVA" ]; then echo "Failed to find the java virtual machine! Bailing..." exit 1 fi else JAVA="$JAVA_HOME/bin/java" fi # Antialias menus and dockable text: ANTIALIAS_ALL="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true" exec "${JAVA}" "${ANTIALIAS_ALL}" -jar @data/jedit.jar -reuseview "$@"
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
