Assertion: bash | /r/HasProperty | invoked with a file of commands
Facets:
Source sentences:
text: If bash is invoked with a file of commands, $0 is set to the name of that file.
text: If Bash is invoked with a file of commands (see Section 3.8 [Shell Scripts], page 39), $0 is set to the name of that file.