update to 2025s info

Author: scPointer

.github/workflows/build.yml

@@ -8,7 +8,7 @@ env:
 
 jobs:
   build-doc:
-    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2025S'
+    if: github.repository == 'LearningOS/rCore-Camp-Code-2025S'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -48,23 +48,8 @@ jobs:
         run: |
           cat output.txt | grep -a "Test passed" | grep -oP "\d{1,}/\d{1,}" | xargs -i echo "points={}"
           cat output.txt | grep -a "Test passed" | grep -oP "\d{1,}/\d{1,}" | xargs -i echo "points={}" >> $GITHUB_OUTPUT
-  gitlab-mirror:
-    if: github.repository == 'LearningOS/rCore-Tutorial-Code-2025S'
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v1
-    - name: Mirror + trigger CI
-      uses: tkf2019/gitlab-mirror-and-ci-action@master
-      with:
-        args: "https://git.tsinghua.edu.cn/os-lab/2025S/public/rcore-tutorial-code-2025S"
-      env:
-        GITLAB_HOSTNAME: "git.tsinghua.edu.cn"
-        GITLAB_PROJECT_ID: "37679"
-        GITLAB_PROJECT_NAME: "rcore-tutorial-code-2025S"
-        GITLAB_PROJECT_TOKEN: ${{secrets.GITLAB_PROJECT_TOKEN}}
-        GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}
   deploy:
-    if: github.repository != 'LearningOS/rCore-Tutorial-Code-2025S'
+    if: github.repository != 'LearningOS/rCore-Camp-Code-2025S'
     name: Deploy to pages
     needs: basic-test
     runs-on: ubuntu-latest
@@ -86,4 +71,31 @@ jobs:
           build_dir: ./classroom
           keep_history: true
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: check score
+        env:
+          course_id: ${{ secrets.RCORE_2025_SPRING_COURSE_ID }}
+          post_api: ${{ secrets.RCORE_2025_SPRING_POST_API }}
+          token: ${{ secrets.RCORE_2025_SPRING_TOKEN }}
+        run: |
+          score=$(( $(grep -o 'ch' classroom/latest.json | wc -l) * 100))
+          cat classroom/latest.json
+          echo $score
+
+          github_user="${{ github.actor }}"
+
+          # 生成 JSON 结果
+          score_json=$(jq -n \
+            --arg channel "github" \
+            --argjson courseId "$course_id" \
+            --arg name "$github_user" \
+            --argjson score "$score" \
+            --argjson totalScore 500 \
+            '{channel: $channel, courseId: $courseId, name: $name, score: $score, totalScore: $totalScore}')
+
+          curl -X POST $post_api \
+            -H "accept: application/json;charset=utf-8" \
+            -H "Content-Type: application/json" \
+            -H "token: $token" \
+            -d "$score_json" \
+            -v

.gitignore

@@ -17,4 +17,4 @@ pushall.sh
 *.bak
 ci-user/
 user/
-os/vendor/
+os/vendor/

README.md

@@ -1,51 +1,53 @@
-# rCore-Tutorial-Code-2025S
+# rCore-Camp-Code-2025S
 
 ### Code
-- [Soure Code of labs for 2025S](https://github.com/LearningOS/rCore-Tutorial-Code-2025S)
+- [Soure Code of labs for 2025S](https://github.com/LearningOS/rCore-Camp-Code-2025S)
 ### Documents
 
-- Concise Manual: [rCore-Tutorial-Guide-2025S](https://LearningOS.github.io/rCore-Tutorial-Guide-2025S/)
+- Concise Manual: [rCore-Camp-Guide-2025S](https://LearningOS.github.io/rCore-Camp-Guide-2025S/)
 
 - Detail Book [rCore-Tutorial-Book-v3](https://rcore-os.github.io/rCore-Tutorial-Book-v3/)
 
 
-### OS API docs of rCore Tutorial Code 2025S
-- [OS API docs of ch1](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch1/os/index.html)
-  AND [OS API docs of ch2](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch2/os/index.html)
-- [OS API docs of ch3](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch3/os/index.html)
-  AND [OS API docs of ch4](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch4/os/index.html)
-- [OS API docs of ch5](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch5/os/index.html)
-  AND [OS API docs of ch6](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch6/os/index.html)
-- [OS API docs of ch7](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch7/os/index.html)
-  AND [OS API docs of ch8](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch8/os/index.html)
-- [OS API docs of ch9](https://learningos.github.io/rCore-Tutorial-Code-2025S/ch9/os/index.html)
+### OS API docs
+- [ch1](https://learningos.github.io/rCore-Camp-Code-2025S/ch1/os/index.html) [ch2](https://learningos.github.io/rCore-Camp-Code-2025S/ch2/os/index.html) [ch3](https://learningos.github.io/rCore-Camp-Code-2025S/ch3/os/index.html) [ch4](https://learningos.github.io/rCore-Camp-Code-2025S/ch4/os/index.html)
+- [ch5](https://learningos.github.io/rCore-Camp-Code-2025S/ch5/os/index.html) [ch6](https://learningos.github.io/rCore-Camp-Code-2025S/ch6/os/index.html) [ch7](https://learningos.github.io/rCore-Camp-Code-2025S/ch7/os/index.html) [ch8](https://learningos.github.io/rCore-Camp-Code-2025S/ch8/os/index.html)
+
 
 ### Related Resources
 - [Learning Resource](https://github.com/LearningOS/rust-based-os-comp2022/blob/main/relatedinfo.md)
 
 
 ### Build & Run
 
+Replace `<YourName>` with your github ID, and replace `<Number>` with the chapter ID.
+
+Notice: `<Number>` is chosen from `[1,2,3,4,5,6,7,8]`
+
 ```bash
-# setup build&run environment first
-$ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2025S.git
-$ cd rCore-Tutorial-Code-2025S
-$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2025S.git user
+# 
+$ git clone [email protected]:LearningOS/2025s-rcore-<YourName>
+$ cd 2025s-rcore-<YourName>
+$ git clone [email protected]:LearningOS/rCore-Tutorial-Test-2025S user
+$ git checkout ch<Number>
 $ cd os
-$ git checkout ch$ID
-# run OS in ch$ID
 $ make run
 ```
-Notice: $ID is from [1-9]
 
 ### Grading
 
+Replace `<YourName>` with your github ID, and replace `<Number>` with the chapter ID.
+
+Notice: `<Number>` is chosen from `[3,4,5,6,8]`
+
 ```bash
-# setup build&run environment first
-$ git clone https://github.com/LearningOS/rCore-Tutorial-Code-2025S.git
-$ cd rCore-Tutorial-Code-2025S
-$ git clone https://github.com/LearningOS/rCore-Tutorial-Checker-2025S.git ci-user
-$ git clone https://github.com/LearningOS/rCore-Tutorial-Test-2025S.git ci-user/user
-$ cd ci-user && make test CHAPTER=$ID
+# Replace <YourName> with your github ID 
+$ git clone [email protected]:LearningOS/2025s-rcore-<YourName>
+$ cd 2025s-rcore-<YourName>
+$ rm -rf ci-user
+$ git clone [email protected]:LearningOS/rCore-Tutorial-Checker-2025S ci-user
+$ git clone [email protected]:LearningOS/rCore-Tutorial-Test-2025S ci-user/user
+$ git checkout ch<Number>
+$ cd ci-user
+$ make test CHAPTER=<Number>
 ```
-Notice: $ID is from [3,4,5,6,8]