Re: Difference options with the CREATE ROLE docs

2020-04-10 Thread Tom Lane
Euler Taveira writes: > It seems an oversight. I'm attaching patches to fix it in all supported > branches. v11 can be applied cleanly to v12/master. Ah, I'd already done this before seeing your response :-( regards, tom lane

Re: Difference options with the CREATE ROLE docs

2020-04-10 Thread Tom Lane
PG Doc comments form writes: > This page says that "CREATE GROUP is now an alias for CREATE ROLE.", > But when u check the CREATE ROLE, u see they have different options, The implementations are the same, as you could easily find by experiment. Looks like people have been sloppy about updating th

Re: Difference options with the CREATE ROLE docs

2020-04-10 Thread Euler Taveira
On Fri, 10 Apr 2020 at 08:19, PG Doc comments form wrote: > > This page says that "CREATE GROUP is now an alias for CREATE ROLE.", > But when u check the CREATE ROLE, u see they have different options, > I don't know if this is on purpose or not, But if it's just an alias, then > they should have

Difference options with the CREATE ROLE docs

2020-04-10 Thread PG Doc comments form
The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/12/sql-creategroup.html Description: Hello, This page says that "CREATE GROUP is now an alias for CREATE ROLE.", But when u check the CREATE ROLE, u see they have different options, I don't k