On Sun, Sep 10, 2023 at 10:43 AM Tom Lane <tgl@xxxxxxxxxxxxx> 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.
