Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you may not be able to execute some actions.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
Man page for bash.
This can be use to determine your current bash process id, in a script or command line.
$ echo $BASHID 10627
Inside the script it will be the bash process id used when executing your script (sub_shell) and will not be the same.
© Lightnetics 2024