sharpetronics/PostgreSQL
1
0
Fork 0
mirror of https://github.com/postgres/postgres.git synced 2025-05-29 00:03:09 -04:00
Code Issues Projects Releases Wiki Activity

doc: Change some "user" to "role" for consistency in the section

Browse Source 
suggested by Johannes Choo
This commit is contained in:
Peter Eisentraut 2016-04-16 12:54:56 -04:00
parent efb25e56d8
commit 5fdda1ceab
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
doc/src/sgml/ddl.sgml
View File

@ -1466,7 +1466,7 @@ ALTER TABLE products RENAME TO items;
<para> <para>
To assign privileges, the <command>GRANT</command> command is 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 <literal>accounts</literal> is an existing table, the privilege to
update the table can be granted with: update the table can be granted with:
<programlisting> <programlisting>
@ -1477,8 +1477,8 @@ GRANT UPDATE ON accounts TO joe;
</para> </para>
<para> <para>
The special <quote>user</quote> name <literal>PUBLIC</literal> can The special <quote>role</quote> name <literal>PUBLIC</literal> can
be used to grant a privilege to every user on the system. Also, 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 <quote>group</> roles can be set up to help manage privileges when
there are many users of a database &mdash; for details see there are many users of a database &mdash; for details see
<xref linkend="user-manag">. <xref linkend="user-manag">.