different argv with jed-script and --script

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

is this intended:

#v+
% cat /tmp/test.sl
foreach (__argv)
    message();
% jed-script /tmp/test.sl        
/tmp/test.sl
% jed --script /tmp/test.sl
jed
--script
/tmp/test.sl
#v-

Bye, Jörg.
-- 
Mathematiker beim Kuchenessen (aus dem wahren Leben):
J: Du überlegst wohl, wie du das Stück am optimalsten teilst?
K: Ja, ich wende gerade den Simplex-Algorithmus darauf an.
C: Schau mal, da hast du schon vier Ecken.

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