What is "bat"

A file with extension .bat can be defined as a set of commands executed in batch (sequentially).

Created for MS-DOS, it has the function of automating routine and often laborious tasks.

Source: https://www.devmedia.com.br/introducao-a-arquivos-bat-e-programacao-em-lotes/24800