3.3 Your script’s arguments

The arguments to your script can be specified by the arguments of the restart command. They are passed to a shell, which expands wild-card characters and performs redirection of I/O, and thence to your script.

restart with no arguments uses the same arguments used by the previous restart, or those set by the set args command..

set args

Specify the arguments to be used if your program is rerun. If set args has no arguments, restart executes your program with no arguments. Once you have run your program with arguments, using set args before the next restart is the only way to run it again without arguments.

show args

Show the arguments to give your program when it is started.