作业仓库

url: https://github.com/zouzhitao/CS_Learning/tree/master/PL%40Grossman

这是 UW programing language part A 的一个简单回顾.

coursera 课程地址: …

我的环境 :

1. win10, git 2.19
2. Ubuntu 18.04 git 2.17
3. jos.git year : 2018

git clone err

1. SSL err

直接 git clone git clone https://pdos.csail.mit.edu/6.828/2018/jos.git lab …

这里什么都没有，这是一个博客测试页面

11/27/18 功能

• 默认 数学公式支持， $$$$行间公式，$$行内
• 有一个从udpsec 处copy 的丑陋的目录。以后再做更改了，麻烦
• 分类，tag支持
• disqus 支持

添加站点ico

在theme 对应的partials 页面下有一个 head.html 文件，找到 ico 文本， …