e comunque i file .bat sono detti batch, non bash