diff options
Diffstat (limited to 'app-editors/jext/files/jext-pre')
| -rw-r--r-- | app-editors/jext/files/jext-pre | 91 |
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 |