postgres.git / summary / log / commit / refs
commit 5fdda1ceab35311367ed0dbb283cd8aea896e49b
Author: Peter Eisentraut <peter_e@gmx.net>
Date: Sat Apr 16 16:54:56 2016 +0000
First released in: 9.6.0
doc: Change some "user" to "role" for consistency in the section
suggested by Johannes Choo
doc/src/sgml/ddl.sgml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/src/sgml/ddl.sgml b/doc/src/sgml/ddl.sgml
index 6a3b6220980..f2055b0d587 100644
--- a/doc/src/sgml/ddl.sgml
+++ b/doc/src/sgml/ddl.sgml
@@ -1466,7 +1466,7 @@ ALTER TABLE products RENAME TO items;
<para>
To assign privileges, the <command>GRANT</command> command is
- used. For example, if <literal>joe</literal> is an existing user, and
+ used. For example, if <literal>joe</literal> is an existing role, and
<literal>accounts</literal> is an existing table, the privilege to
update the table can be granted with:
<programlisting>
@@ -1477,8 +1477,8 @@ GRANT UPDATE ON accounts TO joe;
</para>
<para>
- The special <quote>user</quote> name <literal>PUBLIC</literal> can
- be used to grant a privilege to every user on the system. Also,
+ The special <quote>role</quote> name <literal>PUBLIC</literal> can
+ be used to grant a privilege to every role on the system. Also,
<quote>group</> roles can be set up to help manage privileges when
there are many users of a database — for details see
<xref linkend="user-manag">.
[parent: efb25e56d8a4]