blob: 5a02d4b71db81e7c20392ce56cd5afc26fade3db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
# 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
|
