Re: Possible bug with BASH V4: The "$!"

[Greg Wooledge]

On Thu, Apr 11, 2013 at 04:15:45PM +0000, Lenga, Yair  wrote:
> + The man page list BASH_VERSION, etc., but no indication of BASHPID. It's 
> probably a good idea to put a note next to '$!' about BASHPID.

It is certainly in the man page:

      BASHPID
           Expands to the process ID of the current bash process.  This
           differs from $$ under certain circumstances, such as subshells
           that do not require bash to be re-initialized.

> + Could not find any change log on my system (probably a problem with RH). 
> Not sure if it's documented.

Debian installs this file as /usr/share/doc/bash/CHANGES.gz (no idea where
Red Hat puts it).

The relevant entry is this one:

c.  There is a new variable, $BASHPID, which always returns the process id of
    the current shell.

This appears in the section for bash-4.0-alpha.