On Jun 2, 2009, at 8:48 AM, Derick Eddington wrote:
In order to pass through arguments when using --load, [...]
Or, should --load take exactly one file and multiple "--load
<file>" can
be given in sequence, so that "--" can be both a file to load and an
escape for passing through the rest[...]
Full generality requires "--" to be a possible file to load.[...]
If --load takes exactly one file: [Now it gets annoying.] [...]
I think this is all too complicated.
"--load" should consume a file name and the rest of the arguments
and loads the file after setting the command-line parameter.
If you want to load multiple files, add (load "file2") in file1,
or do (for-each load (cdr (command-line)), or whatever you want.
I don't think doing anything more is worth the complexity. Right?
Aziz,,,
