scriptCommandLine -- the command line arguments to be used when running a script
Description
A constant whose value is the list of arguments passed to the interpreter when a script is started, excluding argument 0, the name of the program, and excluding argument 1, the option "--script".
The source of this document is in Macaulay2Doc/ov_system.m2:980:0.