Am 19.01.2023 um 14:47 schrieb Cottrell, Allin:
Or more efficiently:
outfile null
# do stuff silently
end outfile
Ah, thanks, Allin, I was looking only for double-dash options in the doc
and so I overlooked this one.
Actually, for Marcin's case something like "outfile stderr" might also
be interesting.
cheers
sven