> From: giorgio xyzb <giorgioxyzb@hotm...>
> Date: Wed, 15 Aug 2012 20:47:26 +0000
>
> [...]
>
> I hope this is the standard / correct way to do this.

Yep.  Obviously you found the Custom Command-line Options node in the
user manual, and were "up" for the disk-save, etc.  We really aught to
include --args already -- save you the disk-save...

_______________________________________________
MIT-Scheme-devel mailing list
MIT-Scheme-devel@gnu....
https://lists.gnu.org/mailman/listinfo/mit-scheme-devel