How do I quickly rename a MySQL database (change schema name)?

Question

The MySQL manual at MySQL covers this.

Usually I just dump the database and reimport it with a new name. This is not an option for very big databases. Apparently

Answer 1

For those who are Mac users, Sequel Pro has a Rename Database option in the Database menu. http://www.sequelpro.com/