[ jEdit-users ] bug in installer

[Reinout v. S. <re...@cs...>]

Hi,

I found out this bug in the installer:

* jEdit 2.4pre6 is installed in blah/share/jedit-2.4pre6
* In the pre7 installer you say you want to install in
blah/share/jedit-2.4pre6 (so over the previous version).
* what happens: within blah/share a new directory blah/share/jedit-2.4pre6
is created!

more weirdness:

my shellscript 'jedit' says after installation:
exec ${JAVA-java} ${JEDIT} -classpath
"${CLASSPATH}:blah/share/jedit-2.4pre6/jedit.jar" org.gjt.sp.jedit.jEdit
$@

here is the slash before 'blah' missing so that the script starts looking
in the wrong classpath. Maybe these two problems are related?

regards,
-- 

Reinout van Schouwen
e-mail    : re...@cs...
voicemail : 020-8750706