On Thu, 2021-03-11 at 22:30 +0000, Bossart, Nathan wrote: > On 3/11/21, 12:11 PM, "David G. Johnston" <david.g.johns...@gmail.com> wrote: > > The minor bit of documentation pseudo-redundancy doesn’t bother me if I > > accept > > they are there own separate thing. The fact that set role and set session > > authorization are entirely distinct top-level commands in our > > documentation, > > as opposed to bundled in with plain set, is a much more convincing example > > for treating them uniquely and not just additional GUCs. > > I see your point. What do you think about something like the attached > patch?
After sleeping on it, I have come to think that it is excessive to write so much documentation for a feature that is that unimportant. It takes some effort to come up with a good use case for it. I think we can add a few lines to ALTER ROLE, perhaps ALTER DATABASE (although I don't see what sense it could make to set that on the database level), and briefly explain the difference between RESET ROLE and SET ROLE NONE. I think adding too much detail will harm - anyone who needs to know the exact truth can resort to the implementation. I'll try to come up with a proposal later. Yours, Laurenz Albe