摘要:
(一)使用MariaDB代替mysql数据库(MariaDB数据库管理系统是MySQL的一个分支,主要由开源社区在维护,采用GPL授权许可。开发这个分支的原因之一是:甲骨文公司收购了MySQL后,有将MySQL闭源的潜在风险,因此社区采用分支的方式来避开这个风险。 linux在线安装MariaDB 阅读全文
摘要:
一、字体 偏好设置--》外观--》打开主题文件夹 修改为微软雅黑 body { font-family: "Microsoft YaHei"; color: rgb(51, 51, 51); line-height: 1.6; } 二、代码块字体 在themes文件夹下,添加base.user.cs 阅读全文