From 068424b26532f3551a81421a9be67ed206e5c11a Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 11 Aug 2021 07:02:28 +0100 Subject: gentoo resync : 11.08.2021 --- 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 <