Add: unofficial-lab-env, Lab2 chisel + verilator (#60)

* 📝 chisel + verilator * 📝 * 📝 * 📝 * 📝 * 改了一些英文拼写 * vscode -> VSCode * windows -> Windows * Verilator -> verilator * 这里，链接 * 双引号 * 文件名 * 解释参数的含义 * 解释参数含义 * fedora -> Fedora * sdkman -> SDKMAN * java -> Java * modified: mkdocs.yml
hitszosa · May 27, 2024 · e33ffe2 · e33ffe2
1 parent 58a6bd1
commit e33ffe2
Show file tree

Hide file tree

Showing 4 changed files with 489 additions and 2 deletions.
diff --git a/docs/guide-for-beginner/git-tutorial.md b/docs/guide-for-beginner/git-tutorial.md
@@ -38,7 +38,7 @@ Git 的管理是基于仓库（Repository）的，仓库可以看成一个储存
 - 暂存区（Staging Area）：即我们的缓存区，我们可以通过 `git add` 命令将工作区的文件（或文件的变动）添加到暂存区。暂存区存储了我们对文件的修改。
 - 仓库（Repository）：即我们的版本库，我们可以通过 `git commit` 命令将暂存区的文件提交到仓库。
 
-值得注意的是，由于我们对文件的编辑都发生在工作目录下，所以我们增删文件或对文件进行修改，都只会影响工作区，而不会影响暂存区和仓库。所以我们可以很容易地撤销在工作区发生的修改，这也是 Git 的优势之一。 我们真正想要在仓库中修改一个文件，实际上需要经历三个步骤：
+值得注意的是，由于我们对文件的编辑都发生在工作目录下，所以我们增删文件或对文件进行修改，都只会影响工作区，而不会影响暂存区和仓库。所以我们可以很容易地撤销在工作区发生的修改，这也是 Git 的优势之一。我们真正想要在仓库中修改一个文件，实际上需要经历三个步骤：
 
 1. 在工作目录中修改文件。
 2. 使用 `git add` 将修改的文件添加到暂存区。

diff --git a/docs/popular-science/bash-dlc.md b/docs/popular-science/bash-dlc.md
@@ -91,7 +91,7 @@ $ echo a{d,c,b}e
 ade ace abe
 ```
 
-大括号内还可以写数字/字符+增长，比如 `{x..y[..incr]}`
+大括号内还可以写数字/字符 + 增长，比如 `{x..y[..incr]}`
 
 大括号展开是严格 "词法" 的，它不会对任何特殊字符作出 "反应", 包括大括号自己：