jed-users mailing list

[2005 Date Index] [2005 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Bug in jed-script


Hi John,

there's something wrong in the path expansion:
#v+
$ jed-script /home/joerg/test.sl 
***Warning: feature mini not found in mini
Test
$ jed-script /home/joerg//test.sl 
***Warning: feature mini not found in mini
Unable to load /test.sl
#v-

Jörg.
-- 
Ich halte ihn zwar für einen Schurken und das was er sagt für
falsch - aber ich bin bereit mein Leben dafür einzusetzen, daß
er seine Meinung sagen kann.		(Voltair)

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.


[2005 date index] [2005 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]