2020年3月20日
wsl中配置SML环境
摘要： 配置SML/NJ wsl安装mlkit 阅读全文
posted @ 2020-03-20 19:56 friedCoder 阅读(330) 评论(0) 推荐(0) 编辑
wsl访问win10文件
摘要： `cd /mnt/c` 阅读全文
posted @ 2020-03-20 18:48 friedCoder 阅读(273) 评论(0) 推荐(0) 编辑
PPA
摘要： PPA,表示Personal Package Archives,也就是个人软件包集很多软件包由于各种原因吧，不能进入官方的Ubuntu软件仓库。 为了方便Ubuntu用户使用，launchpad.net提供了ppa,允许用户建立自己的软件仓库，自由的上传软件。 PPA也被用来对一些打算进入Ubunt 阅读全文
posted @ 2020-03-20 17:32 friedCoder 阅读(201) 评论(0) 推荐(0) 编辑