blob: 090d1822726fef2cb22f5cc9b565dafdba809f0a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
--- bin/jext.sh.orig Tue Aug 22 00:07:57 2000
+++ bin/jext.sh Tue Aug 22 00:08:38 2000
@@ -5,11 +5,15 @@
# Set the JEXT_HOME to /usr/local/jext and add this to your PATH.
# Norbert Seidel
+JEXT_HOME=%%JEXT_HOME%%
+CLASSPATH=$CLASSPATH:%%JFC%%:$JEXT_HOME/lib/jext.jar
+export CLASSPATH
+export JEXT_HOME
# Add links to plugins
if [ ! -d "$HOME/.jext" ]; then
mkdir -p $HOME/.jext/xinsert
ln -s $JEXT_HOME/bin/plugins $HOME/.jext
fi
-java -classpath $JEXT_HOME/lib/jext.jar com.chez.powerteam.jext.Jext $* &
+exec %%JAVAVM%% com.chez.powerteam.jext.Jext $*
|
