2006/4/17, Peter Eisentraut <[EMAIL PROTECTED]>:
> Nicolas Barbier wrote:
>
>> In for example set.sgml, just "name" is used for the exact same
>> concept. I changed the patch so that "varname" is used, because
>> "name" was already in use by this specific grammar. Maybe the usage
>> of "var" makes it less clear indeed, for people that know that those
>> things are always referred to as "parameters" and never as
>> "variables".
>
> A variable would be something that you store application data in,
> whereas a parameter is some nondata value that influences your
> calculations. That's my recollection of how the terms are used in
> mathematics. So parameter is decidedly the better term than variable.
> If that is confusing, make it config_param or something like that.
Updated patch attached. We just had another person that made the
mistake, hopefully making up for the time and resources I'm depriving
you guys of :-).
Nicolas
--
Nicolas Barbier
http://www.gnu.org/philosophy/no-word-attachments.html
*** ./doc/src/sgml/ref/alter_role.sgml.orig 2006-04-15 01:15:51.000000000 +0200
--- ./doc/src/sgml/ref/alter_role.sgml 2006-04-17 23:39:35.000000000 +0200
***************
*** 36,43 ****
ALTER ROLE <replaceable class="PARAMETER">name</replaceable> RENAME TO <replaceable>newname</replaceable>
! ALTER ROLE <replaceable class="PARAMETER">name</replaceable> SET <replaceable>parameter</replaceable> { TO | = } { <replaceable>value</replaceable> | DEFAULT }
! ALTER ROLE <replaceable class="PARAMETER">name</replaceable> RESET <replaceable>parameter</replaceable>
</synopsis>
</refsynopsisdiv>
--- 36,43 ----
ALTER ROLE <replaceable class="PARAMETER">name</replaceable> RENAME TO <replaceable>newname</replaceable>
! ALTER ROLE <replaceable class="PARAMETER">name</replaceable> SET <replaceable>config_param</replaceable> { TO | = } { <replaceable>value</replaceable> | DEFAULT }
! ALTER ROLE <replaceable class="PARAMETER">name</replaceable> RESET <replaceable>config_param</replaceable>
</synopsis>
</refsynopsisdiv>
***************
*** 143,149 ****
</varlistentry>
<varlistentry>
! <term><replaceable>parameter</replaceable></term>
<term><replaceable>value</replaceable></term>
<listitem>
<para>
--- 143,149 ----
</varlistentry>
<varlistentry>
! <term><replaceable>config_param</replaceable></term>
<term><replaceable>value</replaceable></term>
<listitem>
<para>
*** ./doc/src/sgml/ref/alter_user.sgml.orig 2006-04-15 01:15:51.000000000 +0200
--- ./doc/src/sgml/ref/alter_user.sgml 2006-04-17 23:39:50.000000000 +0200
***************
*** 36,43 ****
ALTER USER <replaceable class="PARAMETER">name</replaceable> RENAME TO <replaceable>newname</replaceable>
! ALTER USER <replaceable class="PARAMETER">name</replaceable> SET <replaceable>parameter</replaceable> { TO | = } { <replaceable>value</replaceable> | DEFAULT }
! ALTER USER <replaceable class="PARAMETER">name</replaceable> RESET <replaceable>parameter</replaceable>
</synopsis>
</refsynopsisdiv>
--- 36,43 ----
ALTER USER <replaceable class="PARAMETER">name</replaceable> RENAME TO <replaceable>newname</replaceable>
! ALTER USER <replaceable class="PARAMETER">name</replaceable> SET <replaceable>config_param</replaceable> { TO | = } { <replaceable>value</replaceable> | DEFAULT }
! ALTER USER <replaceable class="PARAMETER">name</replaceable> RESET <replaceable>config_param</replaceable>
</synopsis>
</refsynopsisdiv>
---------------------------(end of broadcast)---------------------------
TIP 6: explain analyze is your friend
