Assertion: shell script | /r/Synonym | batch file
Facets:
value: in the dos operating system
type: LOCATION
Source sentences:
text: In the DOS operating system, a shell script is called a batch file.