修改数据库名字

• mysql 没有提供直接的命令，所以要曲线救国，先备份成sql文件，然后再导入

• 备份成sql文件的方法见 "./把数据库备份成sql文件.md"

• 从 sql 文件恢复的方法是

  mysql -u root -p db-name < backup-file.sql (从命令行执行)

  例如： mysql -u root -p texas_holdem < D:/texas_holdem.sql

• 然后删除原数据库

  DROP DATABASE db_name; (进入mysql后执行)