mysql [options] db_name < filename.sql

Note that:

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