Re: Default role -> Predefined role

Greetings,

* Daniel Gustafsson (daniel(at)yesql(dot)se) wrote:
> > On 20 Nov 2020, at 22:13, Stephen Frost <sfrost(at)snowman(dot)net> wrote:
> > Attached is a patch to move from 'default role' terminology to
> > 'predefined role' in the documentation. In the code, I figured it made
> > more sense to avoid saying either one and instead opted for just
> > 'ROLE_NAME_OF_ROLE' as the #define, which we were very close to (one
> > removing the 'DEFAULT' prefix) but didn't actually entirely follow.
>
> Predefined is a much better terminology than default for these roles, makes the
> concept a lot clearer. +1 on this patch.

Alright, now that 3b0c647bbfc52894d979976f1e6d60e40649bba7 has gone in,
we can come back to the topic of renaming default roles to predefined
roles as of v14.

Attached is a patch which does that and adds a section to the obsolete
appendix which should result in the existing links to the default roles
page continuing to work (but going to the page explaining that they've
been renamed to predefined roles) once v14 is released with the update.

Unless there's anything further on this, I'll plan to push in the next
day or so.

Thanks!

Stephen