On Wed, Oct 19, 2016 at 11:53:37PM +0200, Martijn Dekker wrote: > Assigning to BASHPID most certainly does have an effect. Since you > didn't quote that part, I think you might have missed my point that > attempting this will silently exit the shell without any error message, > causing the problem to be hard to track down.
Cannot reproduce: imadev:~$ bash imadev:~$ echo $$ 5659 imadev:~$ BASHPID=923 imadev:~$ echo $$ 5659 imadev:~$ exit imadev:~$
