From b4105b743603d68b44c245483eb21f3523ad26e0 Mon Sep 17 00:00:00 2001 From: manuel Date: Thu, 3 Oct 2024 11:16:01 +0800 Subject: [PATCH] Update JOJ3 Configuration Schema --- JOJ3-Configuration-Schema.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/JOJ3-Configuration-Schema.md b/JOJ3-Configuration-Schema.md index dd729fd..ca2bc79 100644 --- a/JOJ3-Configuration-Schema.md +++ b/JOJ3-Configuration-Schema.md @@ -3,9 +3,11 @@ *Goals:* simple configuration files, which can easily be manually edited by TAs. These files are then parsed by joj-config-generation script to generate final internal `json` configurations files and joj3 to find the `json` config files. Levels: -- repo: repository -- assignment: homework or project (no meta config needed at that level) -- task: exercise or milestone +- repository: global repository config +- assignment: eg. homework or project (no meta config needed at that level) +- task: eg. exercise or milestone + +JOJ configuration generator should read both repository and task `.toml` files and generate a single `conf.json` file located in the folder of the corresponding task. ## Commit message and course-joj repo tree @@ -23,7 +25,7 @@ Scope usage: -## Repo level +## Repository level configuration Teaching team info, eg. useful to check who triggered a grading. @@ -50,7 +52,7 @@ immutable.files = [".gitignore", ".gitattributes", ".gitea/workflows/push.yaml"] immutable.hash = ["fafssafds7","kjklhk5hk345", "nvnfjuysf653214"] # hash of readonly files ``` -## Task level +## Task level configuration Basic idea: - list all stages that are to be run