jext-pre

# 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