On Sun, Sep 10, 2023 at 10:43 AM Tom Lane <t...@sss.pgh.pa.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.
