Am 24.07.2018 um 18:22 schrieb Allin
Cottrell:
The
"outfile" command has undergone a slight makeover (but with
backward compatibility preserved). This is in git and snapshots.
* Creation of a new file (or overwriting an existing one) is now
the default action. The --write option is still accepted but it's
implicit unless --append is given.
* The recommended way of terminating redirection of output is now
"end outfile" (but "outfile --close" is still accepted).
* The script editor now treats "outfile" as a block command, and
indents the enclosed lines appropriately.
Whoa, hold on -- this sounds great, but what happened to the earlier
argument "Allin had already explained to me that 'end outfile' would
be problematic if you wanted to have other 'xxx ... end xxx'
constructs like 'mle ... end mle' inside it." ??
thanks,
sven