diff options
Diffstat (limited to 'editors/jext/files/jext.sh.in')
| -rw-r--r-- | editors/jext/files/jext.sh.in | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/editors/jext/files/jext.sh.in b/editors/jext/files/jext.sh.in deleted file mode 100644 index 1aebd30ea3aa..000000000000 --- a/editors/jext/files/jext.sh.in +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh -# -# $FreeBSD$ - -JEXT_HOME="${JEXT_HOME:-"%%DATADIR%%"}" - -if [ "$1" = "--help" ] ; then - echo "Usage: jext [files]" - exit 0 -fi - -# Create user directory -JEXT_USER_HOME="${HOME}/.jext" -if [ ! -d "${JEXT_USER_HOME}" ] ; then - mkdir -p "${JEXT_USER_HOME}/xinsert" -fi - -# Run -JAVA_VERSION="%%JAVA_VERSION%%" "%%LOCALBASE%%/bin/java" \ - ${JAVA_OPTS} \ - -Dpython.home="${JEXT_HOME}/lib" \ - -classpath "${JEXT_HOME}/lib/jython.jar":"${JEXT_HOME}/lib/dawn.jar":"${JEXT_HOME}/lib/jext.jar" \ - org.jext.Jext \ - "$@" |