How can I export a MySQL Database from Cloud9?

Question

How can I export a MySQL Database from Cloud9, the online development IDE in the cloud. I was able to import a database, but I still haven't figured out how to export it, or download it to my computer, or anywhere else for that matter.

Answer 1

I was able to export the database by entering

mysqldump your_database_name > any_file_name.sql

at the cloud9 command line.