po 28. 2. 2022 v 23:46 odesílatel Tom Lane <tgl@sss.pgh.pa.us> napsal:
Noboru Saito <noborusai@gmail.com> writes: > I have created a patch that allows you to turn it on and off in \pset. > The attached patch adds the following features. > Formfeed can be turned on with the command line option or \pset. > Formfeed (\f\n) is output after the query execution result by \watch.
Hmm ... I grant your use-case for this, but I think the patch is too narrow-minded, because it supposes that the only string anybody could wish to output between \watch commands is "\f\n". Once you open the floodgates of inserting formatting there, ISTM that people might want other things.
Also, I'm not that thrilled with treating this as a \pset option, because it has nothing to do with formatting of normal query results. (IMV anyway, perhaps others will disagree.)
pspg (and ov pager too) supports streaming (pspg is used in another terminal than psql), and for this case, the marks can be useful for all modes.
Regards
Pavel
How about instead of defining fixed semantics, we invent a psql special variable that can contain a string to be output between \watch commands? It looks like you could then set it through a command like
\set WATCH_SEPARATOR '\f\n'
(not wedded to that variable name, it's just the first idea that came to mind)
Personally I'd not bother with inventing a specialized command-line option to set it, either. There's already -v and friends.
> * Is formfeed output after the result, not before?
Or we could invent WATCH_BEFORE and WATCH_AFTER ...
