Re: Laurenz Albe> How about the attached patch?
Thanks, pushed with a minor update - with set -e, we need to use${PGOPTIONS:-} instead of $PGOPTIONS.
Christoph