Following commands are used to run in batch mode:

mysql ;
mysql mysql.out