[MySql] MySql in batch mode

Ho un problema con MySql.
Ho provato a eseguire un comando di SQL in batch e non da command line.
Creo un file chiamato database.txt dove al suo interno ho :

Codice:

---

USE prova;
SHOW tables;

---

Poi apro il MySQL command line e, dopo aver effettuato l'autenticazione, digito :
SOURCE database.txt;
e mi esce : ERROR : Failed to open file 'database.txt', error: 2
Qualcuno sa darmi una mano? Grazie.