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.