diff options
| author |   Miroslav Šulc <fordfrog@gentoo.org> | 2011-01-17 02:26:17 +0000 |
|---|---|---|
| committer | Miroslav Šulc <fordfrog@gentoo.org> | 2011-01-17 02:26:17 +0000 |
| commit | 14cc6afe15f9a0cf87eab67c99bf107c1fc94a04 (patch) | |
| tree | 8cc9d683166f85d6c7bd5d718b579f2d1b79259a /app-editors/jext/files | |
| parent | dev-java/odfdom: version bump and fix of bug #343137 (diff) | |
| download | gentoo-2-14cc6afe15f9a0cf87eab67c99bf107c1fc94a04.tar.gz gentoo-2-14cc6afe15f9a0cf87eab67c99bf107c1fc94a04.tar.bz2 gentoo-2-14cc6afe15f9a0cf87eab67c99bf107c1fc94a04.zip | |
app-editors/jext: removed unused file
(Portage version: 2.1.9.31/cvs/Linux x86_64)
Diffstat (limited to 'app-editors/jext/files')
| -rw-r--r-- | app-editors/jext/files/jext-gentoo.sh | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/app-editors/jext/files/jext-gentoo.sh b/app-editors/jext/files/jext-gentoo.sh deleted file mode 100644 index ea5681724daf..000000000000 --- a/app-editors/jext/files/jext-gentoo.sh +++ /dev/null @@ -1,50 +0,0 @@ -#! /bin/sh -# -# This script launch the Jext the Java text editor. -# It checks for a $HOME/.jext directory and eventually creates it. -# Next it checks for a $HOME/.jext/variables file which define the JEXT_HOME JAVA_CMD and JAVA_OPT variables. -# If this file doesn't exist the script creates it by asking the options to the user. - - -# Sharpshooter 23/02/2002 -# Modified by Todd Berman <tberman@gentoo.org> 23/05/2003 - -# Help - -if [ "$1" = "--help" ] -then - echo "This script launch Jext the Java text editor." - echo "Usage : $0 [files]" - exit 0 -fi - - - -# Check for the user's ~/.jext directory. -if ! [ -d ~/.jext ] -then - echo "It seems you don't have a .jext directory in your home dir." - echo "I create it." - echo - mkdir -p ~/.jext/xinsert - -fi - - - -# Check for the $HOME/.jext/variables file. -if ! [ -f ~/.jext/variables ] -then - echo "JEXT_HOME="/usr/share/jext/lib > ~/.jext/variables - echo "JAVA_CMD=java" >>~/.jext/variables -fi - - -# Extract the contents of the ~/.jext/variables file. -JEXT_HOME=`grep JEXT_HOME ~/.jext/variables | cut -f2 -d=` -JAVA_CMD=`grep JAVA_CMD ~/.jext/variables | cut -f2 -d=` -JAVA_OPT=`grep JAVA_OPT ~/.jext/variables | cut -f2 -d=` - - -# Launch JEXT -exec "$JAVA_CMD" $JAVA_OPTS -Dpython=`java-config --classpath=jython` -classpath "`java-config --classpath=jython,jext`" org.jext.Jext "$@" |