Re: option missing in documentation

[Chet Ramey]

On 12/14/13, 6:36 AM, walter harms wrote:
> hi list,
> i noticed that the -p option is described in text (in INVOCATION) but
> not in the option list.

In the description of `set' in the bash-4.2 man page (doc/bash.1), we find:

      -p      Turn  on  privileged  mode.   In this mode, the $ENV and
              $BASH_ENV files are not processed, shell  functions  are
              not  inherited  from the environment, and the SHELLOPTS,
              BASHOPTS, CDPATH,  and  GLOBIGNORE  variables,  if  they
              appear in the environment, are ignored.  If the shell is
              started with the effective user (group) id not equal  to
              the  real user (group) id, and the -p option is not sup-
              plied, these actions are taken and the effective user id
              is  set  to  the real user id.  If the -p option is sup-
              plied at startup, the effective user id  is  not  reset.
              Turning  this  option  off causes the effective user and
              group ids to be set to the real user and group ids.

Is that the option list you mean?

Chet

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/