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 c...@case.edu http://cnswww.cns.cwru.edu/~chet/
