Batch file and content renaming

To change the name of a MySQL database, it needs to be exported and reimported.

Unfortunately for me, renaming on the import does not workk in the MySQL workbench. Instead, I had to export the Db as a group of sql files (not a single self contained file) modify the name of the sql files, and the name of the Db within the files.

To quickly change the Db name within the file name, I used the PowerRename utility, which is a free windows extension.

To change the Db name within all of the sql files, I used Notepad++ to open the folder as a workspace, then performance a find and replace through all the folder files.

The above rapidly changed the name of the MySQL database, with minimal manual effort.