JOJ/runner-images
21
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor: harden the joj3-forge-convert script
All checks were successful
push / build (push) Successful in 51s
Details

Browse Source
This commit is contained in:
张泊明518370910136 2025-06-25 09:04:01 -04:00
parent f128933252
commit ac4fbb83ed
Signed by: 张泊明518370910136
GPG Key ID: CA088E6D9284F870
1 changed files with 62 additions and 41 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

103
bin/joj3-forge-convert
View File

@ -1,46 +1,67 @@
#!/usr/bin/bash
set -ex
#!/usr/bin/env bash
ORG_NAME=$(basename "$(dirname "$(pwd)")")
REPO_NAME=$(basename "$(pwd)")
set -euo pipefail
COURSE=${REPO_NAME%-*}
CONFIG_REPO_PATH="/home/tt/.cache/$COURSE-config"
GRADING_REPO_PATH="/home/tt/.cache/$COURSE-joj"
GIT_USER="bot-$COURSE"
GIT_EMAIL="bot-$COURSE@focs.ji.sjtu.edu.cn"
export PATH="/usr/bin:/bin:/usr/local/bin"
unset IFS
if ! [ -d "$CONFIG_REPO_PATH" ]; then
git clone "ssh://git@focs.ji.sjtu.edu.cn:2222/$COURSE/$COURSE-joj.git" "$CONFIG_REPO_PATH"
fi
# TODO: move this into if statement
git -C "$CONFIG_REPO_PATH" config user.name "$GIT_USER"
git -C "$CONFIG_REPO_PATH" config user.email "$GIT_EMAIL"
main() {
local org_name
local repo_name
local course
org_name=$(basename "$(dirname "$(pwd)")")
repo_name=$(basename "$(pwd)")
course=${repo_name%-*}
if ! [[ "$course" =~ ^[a-zA-Z0-9_-]+$ ]]; then
exit 1
fi
if ! [ -d "$GRADING_REPO_PATH" ]; then
git clone "ssh://git@focs.ji.sjtu.edu.cn:2222/$COURSE/$COURSE-joj.git" "$GRADING_REPO_PATH"
git -C "$GRADING_REPO_PATH" switch --orphan grading
echo "# $COURSE JOJ grading" >"$GRADING_REPO_PATH/Readme.md"
echo "This branch is automatically updated by JOJ, **never edit any file in this branch!**" >>"$GRADING_REPO_PATH/Readme.md"
git -C "$GRADING_REPO_PATH" add Readme.md
git -C "$GRADING_REPO_PATH" commit -m"docs: readme"
git -C "$GRADING_REPO_PATH" push -u origin grading
fi
# TODO: move this into if statement
git -C "$GRADING_REPO_PATH" config user.name "$GIT_USER"
git -C "$GRADING_REPO_PATH" config user.email "$GIT_EMAIL"
local config_repo_path="/home/tt/.cache/$course-config"
local grading_repo_path="/home/tt/.cache/$course-joj"
local git_user="bot-$course"
local git_email="bot-$course@focs.ji.sjtu.edu.cn"
local git_server="ssh://git@focs.ji.sjtu.edu.cn:2222"
git -C "$CONFIG_REPO_PATH" pull --rebase
rsync -r --delete "$CONFIG_REPO_PATH/home/tt/.config/" /home/tt/.config
joj3-forge convert /home/tt/.config/joj
rsync -r --delete /home/tt/.config/joj/ "$CONFIG_REPO_PATH/home/tt/.config/joj"
git -C "$CONFIG_REPO_PATH" add home/tt/.config/joj
if ! git -C "$CONFIG_REPO_PATH" diff --staged --quiet; then
git -C "$CONFIG_REPO_PATH" commit -m "chore: joj3-forge convert [skip ci]"
git -C "$CONFIG_REPO_PATH" push
fi
if [ -n "$TEAPOT_GITEA_TOKEN" ]; then
mkdir -p /home/tt/.config/teapot
echo "GITEA_ORG_NAME=$ORG_NAME" >"/home/tt/.config/teapot/teapot.env"
echo "GITEA_ACCESS_TOKEN=$TEAPOT_GITEA_TOKEN" >>"/home/tt/.config/teapot/teapot.env"
fi
if ! [ -d "$config_repo_path" ]; then
git clone "$git_server/$course/$course-config.git" "$config_repo_path"
fi
# TODO: move this into if statement
git -C "$config_repo_path" config user.name "$git_user"
git -C "$config_repo_path" config user.email "$git_email"
if ! [ -d "$grading_repo_path" ]; then
git clone "$git_server/$course/$course-joj.git" "$grading_repo_path"
git -C "$grading_repo_path" switch --orphan grading
cat >"$grading_repo_path/Readme.md" <<EOF
# $course JOJ grading
This branch is automatically updated by JOJ, **never edit any file in this branch!**
EOF
git -C "$grading_repo_path" add Readme.md
git -C "$grading_repo_path" commit -m"docs: readme"
git -C "$grading_repo_path" push -u origin grading
fi
# TODO: move this into if statement
git -C "$grading_repo_path" config user.name "$git_user"
git -C "$grading_repo_path" config user.email "$git_email"
git -C "$config_repo_path" pull --rebase
rsync -a --delete "$config_repo_path/home/tt/.config/" "/home/tt/.config"
joj3-forge-convert "/home/tt/.config/joj"
rsync -a --delete "/home/tt/.config/joj/" "$config_repo_path/home/tt/.config/joj"
git -C "$config_repo_path" add home/tt/.config/joj
if ! git -C "$config_repo_path" diff --staged --quiet; then
git -C "$config_repo_path" commit -m "chore: joj3-forge convert [skip ci]"
git -C "$config_repo_path" push
fi
if [ -n "${TEAPOT_GITEA_TOKEN:-}" ]; then
local teapot_config_dir="/home/tt/.config/teapot"
mkdir -p "$teapot_config_dir"
cat >"$teapot_config_dir/teapot.env" <<EOF
GITEA_ORG_NAME=$org_name
GITEA_ACCESS_TOKEN=$TEAPOT_GITEA_TOKEN
EOF
fi
}
main "$@"