summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorVolkmar W. Pogatzki <gentoo@pogatzki.net>2021-08-08 12:29:20 +0200
committerMiroslav Šulc <fordfrog@gentoo.org>2021-08-09 07:31:12 +0200
commitf7217b4747b8413488449405ce2027cbfd25fe33 (patch)
treec783c1dd403ee29ca568e9197294af1238d7474c /app-editors/jext/files/jext-pre
parentdev-java/sun-jimi: remove last rited package (diff)
downloadgentoo-f7217b4747b8413488449405ce2027cbfd25fe33.tar.gz
gentoo-f7217b4747b8413488449405ce2027cbfd25fe33.tar.bz2
gentoo-f7217b4747b8413488449405ce2027cbfd25fe33.zip
app-editors/jext: remove last rited package
Closes: https://bugs.gentoo.org/791106 Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'app-editors/jext/files/jext-pre')
-rw-r--r--app-editors/jext/files/jext-pre91
1 files changed, 0 insertions, 91 deletions
diff --git a/app-editors/jext/files/jext-pre b/app-editors/jext/files/jext-pre
deleted file mode 100644
index 5a02d4b71db8..000000000000
--- a/app-editors/jext/files/jext-pre
+++ /dev/null
@@ -1,91 +0,0 @@
-# This script launches Jext, the Java text editor.
-# It checks for a $HOME/.jext directory and eventually creates it.
-# Next it checks for a /etc/jextrc and $JEXT_CONFFILE (~/.jext/variables) files which define the JEXT_HOME JAVA_CMD JAVA_OPT CLASSPATH and ToShow variables. The first is system wide(used in RPM install mainly), the second is per user.
-# If this file doesn't exist the script creates it by asking the options to the user.
-
-# Sharpshooter 23/02/2002
-# Blaisorblade 18/11/2002
-
-#For special cases about different config files(for developers with working
-#copy and an unstable one to be tested).
-if [ "$JEXT_CONFFILE" = "" ]
-then
- JEXT_CONFFILE=~/.jext/variables
-fi
-
-# Help
-if [ "$1" = "--help" -o "$1" = "-h" ]
-then
- echo "This script launch Jext the Java text editor."
- echo "Usage : $0 [--reconf] [files]"
- echo "--reconf doesn't start jext but clears the"
- echo " $JEXT_CONFFILE file with the settings to start jext"
- echo " (jext & java location and jext options)."
- exit 0
-fi
-
-if [ "$1" = "--reconf" ]
-then
- echo "Clearing $JEXT_CONFFILE, you'll have to reenter jext & java \
-interpreter location"
- rm -f "$JEXT_CONFFILE"
- 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_CONFFILE -o -f /etc/jextrc ]
-then
- #Let's add some explaination in the config file.
- cat >$JEXT_CONFFILE <<EOM
-#This is included when launching Jext. It is a normal shell script \
-used to define env vars
-#Meanings of settings:
-#JEXT_HOME The home dir of jext(under which it finds the lib and so on dirs)
-#JAVA_CMD The complete path for the java command
-#JAVA_OPT The options to be passed to the java command(not to Jext itself!)
-#CLASSPATH The extra classpath to be specified(for cases such as AntWork plugin)
-#ToShow If this is set to y the output is not redirected to /dev/null;
-# Mainly for developers who want to trace Jext output(you could also use
-# the DickTracy plugin).
-EOM
-#----
- JEXT_HOME="/usr/share/jext/lib"
- echo "JEXT_HOME="$JEXT_HOME >> $JEXT_CONFFILE
-#----
- ToShow=
- echo "ToShow="$ToShow>>$JEXT_CONFFILE
-fi
-
-# Extract the contents of the $JEXT_CONFFILE file.
-[ -f /etc/jextrc ] && source /etc/jextrc
-[ -f $JEXT_CONFFILE ] && source $JEXT_CONFFILE
-
-#Needed to make Jext find his plugins(it searches them in `pwd`/plugins)
-for i in $@
-do
- if [ "${i:0:1}" != "/" -a "${i:0:1}" != "-" ]; then #If the first char of $i is not a / then
- files="$files `pwd`/$i" #it is a relative path so we must make it absolute.
- elif [ "$i" != "-" ]; then
- files="$files $i"
- else
- case "$i" in
- --reconf|--help|-h)
- ;;
- *)
- files="$files $i"
- ;;
- esac
- fi
-done