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.