Hello,
>> While poking around the dump output, I noticed some unrelated points:
>>
>> * Command "pg_dump" could tell which database is dumped in the output
>> Or "pg_dumpall" could issue a comment line in the output telling which
>> database is being considered.
>>
>> * The database dumps should have an introductory comment, like there
>> is one for roles
>
> I agree these are unrelated but would be nice to have. Probably having
> pg_dumpall do it would be better. Do you want to do a patch for that?
I do not "want" to do a patch for that:-) Anyway, a small patch is
attached which adds comments to pg_dumpall output sections.
>> * On extensions, the dump creates both the extension and the extension
>> comment. However, ISTM that the extension comment is already created
>> by the extension, so this is redundant:
>> Maybe it should notice that the comment belongs to the extension and
>> need not be updated?
>
> What if the owner had updated the comment after installing the extension?
Hmmm… This point could apply to anything related to an extension, which
could be altered by the owner in any way…
--
Fabien.