BASH_
SCRIPT_
OPTION
BASH_SCRIPT_OPTION the bash option used to
launch a script