Merge pull request #13 from ICS-25Fall-FDU/patch/ssh-key

Correct the way to get public key

Author: Zecyel

docs/lab/lab0.md

@@ -324,7 +324,7 @@ GitHub 是一个基于 Git 的代码托管平台，你可以将你的本地 Git
 
 - 在 Github 上配置 SSH 公钥
 
-1. 复制 `cat ~/.ssh/id_rsa.pub` 输出的结果（即公钥）。
+1. 复制 `cat ~/.ssh/id_rsa.pub` 或 `cat ~/.ssh/id_ed25519.pub` 输出的结果（即公钥）。
 2. 打开 Github 并登录自己的账号。
 3. 点击右上角头像，进入 Settings ：
 
@@ -461,7 +461,7 @@ Fast-forward
     > [!important]
     >
     > 在两个分支上的提交必须要满足：在 `main` 分支合并时会出现冲突。请你解决这个冲突，并在实验报告里截图表明你遇到并解决了冲突。
-    > 
+    >
     > 请阅读 `git merge` 部分，思考如何修改 `main.c` 会出现冲突。
     >
     > 如果你两次提交之后合并没有出现冲突，不必担心，你可以不用撤回之前的提交，而是继续尝试提交修改并 merge，直到出现冲突并解决。