📄 readme
字号:
to initialize a mysql database to an empty state, run the following commands: mysql -u $user -p$pass $dbname < Users.sql mysql -u $user -p$pass $dbname < Resources.sqlthese assume that you have an alias bound for mysql, or you have added themysql /bin directory to your path.you should also replace $user and $pass with the username and password you want to use to create the tables. I recommend creating a separate database for the repro tables (called, creatively, "repro" in my case) and locating them there. In any case, thename of the database you want to use should be passed as the third argument$dbname.Note -- there is no space between the -p and the $pass. If you put a spacethere, mysql will choke.
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -