mysql [options] db_name < filename.sql
Note that:
db_name needs to be an existing database;filename.sql;.sql is fully a matter of style. Any extension would work.filename.sql.Alternatively, when in the MySQL Command line tool, you can restore (or run any other script) by using the source command:
source filename.sql
or
\. filename.sql