One I always forget. Type mysql database_name

then source filename;

should all work nicely.