I want to backup and restore a mysql database. I think I've found the program to back it up. I just need to know what to do with the dump to restore it.
So I find this page. You'll see a little more than halfway down the page a two step procedure for restoring the backup, where step 1 is "1. Restore the original mysqldump backup." Thanks.
Turns out the manpage for the mysql client itself ends with the statement that:
You can also read a backup dump file back into MySQL with:
mysql database < backup-file.sql
