From f7217b4747b8413488449405ce2027cbfd25fe33 Mon Sep 17 00:00:00 2001 From: "Volkmar W. Pogatzki" Date: Sun, 8 Aug 2021 12:29:20 +0200 Subject: app-editors/jext: remove last rited package MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/791106 Signed-off-by: Volkmar W. Pogatzki Signed-off-by: Miroslav Ć ulc --- app-editors/jext/files/jext-pre | 91 ----------------------------------------- 1 file changed, 91 deletions(-) delete mode 100644 app-editors/jext/files/jext-pre (limited to 'app-editors/jext/files/jext-pre') 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 <