修改数据库名字

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后执行)