Thomas Lionel SMETS - 2004-05-06

I tried to install quiet a fair number of plugins but none seems to be recognized :

> ls -la /opt/jext/bin/plugins/
total 369K
drwxr-xr-x    2 java     javagrp       392 Apr 21 01:40 ./
drwxr-xr-x    6 java     javagrp       512 May  7 01:29 ../
-rwxrwxrwx    1 java     javagrp       25K Apr 21 01:40 AntWork.jar*
-rwxrwxrwx    1 java     javagrp      7.9K Apr  7  2003 FindAll.jar*
-rwxrwxrwx    1 java     javagrp       13K Apr  7  2003 FindInFiles.jar*
-rwxrwxrwx    1 java     javagrp      5.5K Apr  7  2003 FunnyBrackets.jar*
-rwxrwxrwx    1 java     javagrp       28K Apr  7  2003 HTML.jar*
-rwxrwxrwx    1 java     javagrp       23K Apr  7  2003 HyperTyper.jar*
-rwxrwxrwx    1 java     javagrp       91K Apr  7  2003 Java.jar*
-rwxrwxrwx    1 java     javagrp      5.6K Apr  7  2003 KeystrokeRecorder.jar*
-rwxrwxrwx    1 java     javagrp       43K Apr  7  2003 KLNF.jar*
-rwxrwxrwx    1 java     javagrp      105K Apr  7  2003 PhpPlugin.jar*
-rwxrwxrwx    1 java     javagrp      3.2K Apr  7  2003 PyBrowse.jar*

But the menu "Jext" --> "About plugins..." stays empty... Jext is in version "Stable: 3.2pre3" running on IBM's JDK 1.4.1 withthe follwoing script to start it up :
<snip>
1  #!/bin/bash
     2
     3  echo "Starting Jext"
     4  export JEXT_BASE=/opt/jext
     5
     6  export JAVA_HOME="/opt/IBMJava2-141"
     7  # export JAVA_HOME="/opt/jdk/1.4"
     8  export PATH=${JAVA_HOME}/bin:/usr/local/bin:/bin:.:/usr/X11R6/bin:/usr/bin
     9
    10  echo "Before launching the program : "
    11  echo "            JEXT_BASE : ${JEXT_BASE} "
    12  echo "            JAVA_HOME : ${JAVA_HOME} "
    13  echo "            PATH : ${PATH} "
    14
    15
    16  ${JAVA_HOME}/bin/java  -classpath ${JEXT_BASE}/lib/jython.jar:${JEXT_BASE}/lib/dawn.jar:${JEXT_BASE}/lib/jext.jar org.jext.Jext
</snip>

Any idea how I could investigate this ?

\T,