Stefan Schippers
05/21/2021, 8:40 AM-r --no_readline Start without the tclreadline package ( this is
necessary if stdin and stdout are to be redirected
for example to /dev/null).
Tim Edwards
05/21/2021, 1:14 PM