On Sun, Sep 10, 2023 at 10:43 AM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> I'm not sure whether it'd be profitable to try to build that behavior
>
into the scripts themselves.
Teaching it not to call "print" (or making it a no-op somehow) in a certain
mode, yes, trying to redirect output it is producing, I doubt it for the
reason mentioned. It isn't difficult to add "> /dev/null" to the command
line if that is what you want - no need to touch scripts given a capable
enough shell.
David J.