On 03.07.23 09:30, Michael Paquier wrote:
On Mon, Jul 03, 2023 at 08:34:39AM +0200, Peter Eisentraut wrote:Maybe this could be combined into one command?On clarity ground, I am not sure that combining both is a good idea. Perhaps the use of a different variable, like bison a few lines above, makes things cleaner?
Yes, if you want two separate lines, then doing it like bison makes sense.