Alvaro Herrera <alvhe...@alvh.no-ip.org> writes: > It's worth considering what will readline history do with the comment. > As I recall, we keep /* comments */ together with the query that > follows, but the -- comments are keep in a separate history entry. > So that's one more reason to prefer /* */
Good point. > (To me, that also suggests to remove the asterisk line after each query, > and to keep just the one before.) Meh ... the one after serves to separate a query from its output. regards, tom lane