There are batch and batch-file tags. Their description is pretty much the same:
the execution of a set of commands or software programs without user intervention. A batch file is a text file
Text file containing a sequence of commands or program invocations that does not need user intervention.
Should they be made synonyms of each other?