Compare commits

...

No commits in common. "master" and "joj-repo" have entirely different histories.

9 changed files with 105 additions and 135 deletions

View File

@ -1,48 +0,0 @@
name: push
on:
push:
branches:
- master
jobs:
build:
runs-on: golang-ubuntu-latest
steps:
- name: Check out repository code
uses: actions/checkout@focs
- name: Display Go version
run: go version
- name: Prepare
run: |
go env -w GO111MODULE=on
go env -w GOPROXY=https://goproxy.cn,direct
mkdir -p ~/.ssh
echo "${{ secrets.DEPLOY_PRIVATE_KEY }}" > ~/.ssh/id_ed25519
echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_ed25519.pub
chmod 600 ~/.ssh/id_ed25519
chmod 600 ~/.ssh/id_ed25519.pub
ssh-keyscan -p 2222 focs.ji.sjtu.edu.cn >> ~/.ssh/known_hosts
ssh -T git@focs.ji.sjtu.edu.cn -p 2222
shell: bash
- name: Determine build command
id: build_command
run: |
if echo "${{ gitea.event.head_commit.message }}" | grep -q "force build"; then
echo "build_command=make force-build" >> $GITEA_ENV
else
echo "build_command=make build" >> $GITEA_ENV
fi
- name: Build
env:
TZ: Asia/Shanghai
run: ${{ env.build_command }}
- name: Test
run: make test
- name: Check images
run: docker images
- name: Remove dangling images
run: docker image prune -f
- name: Docker Login
run: |
echo "${{ secrets.DOCKER_PASSWORD }}" | docker login -u ${{ secrets.DOCKER_USERNAME }} --password-stdin focs.ji.sjtu.edu.cn:5000
- name: Docker Push
run: make push

4
.gitignore vendored
View File

@ -1,2 +1,2 @@
/bin/joj3
/bin/repo-health-checker
.tags
.tags.*

3
.gitmodules vendored
View File

@ -1,3 +0,0 @@
[submodule "JOJ3"]
path = JOJ3
url = ssh://git@focs.ji.sjtu.edu.cn:2222/JOJ/JOJ3.git

View File

@ -1,26 +0,0 @@
FROM focs.ji.sjtu.edu.cn:5000/gitea/runner-images:ubuntu-latest-slim
ENV TZ="Asia/Shanghai"
RUN sed -i s@/deb.debian.org/@/mirrors.tuna.tsinghua.edu.cn/@g /etc/apt/sources.list.d/debian.sources && \
apt-get update && \
apt-get install -y --no-install-recommends sudo python3-minimal python3-pip git git-lfs openssh-client rsync && \
apt-get clean && \
rm -rf /var/lib/apt/lists/* && \
userdel -r node && \
useradd -u 1000 -ms /bin/bash tt && \
useradd -u 1001 -ms /bin/bash student && \
usermod -aG student tt && \
echo "student ALL=(tt) NOPASSWD:SETENV:/usr/local/bin/joj3,/usr/local/bin/joj3-forge-convert\ntt ALL=(student) NOPASSWD:SETENV:ALL" > /etc/sudoers.d/joj
# install joint-teapot && joj3-forge
RUN pip install --no-cache-dir --break-system-packages \
--index-url https://pypi.tuna.tsinghua.edu.cn/simple \
git+https://focs.ji.sjtu.edu.cn/git/JOJ/Joint-Teapot \
git+https://focs.ji.sjtu.edu.cn/git/JOJ/JOJ3-config-generator
# install joj3 & repo-health-checker & joj3-forge-convert
COPY bin/joj3 bin/repo-health-checker bin/joj3-forge-convert /usr/local/bin/
USER student
WORKDIR /home/student

1
JOJ3

@ -1 +0,0 @@
Subproject commit 0ea767264023f7ea5189d65ddd5c0d9f2e4d67ca

View File

@ -1,25 +0,0 @@
.PHONY: all prepare force-build build test push
IMAGE_NAME := focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim
all: build
prepare:
git submodule update --init --remote
$(MAKE) -C JOJ3
cp JOJ3/build/joj3 JOJ3/build/repo-health-checker bin/
ls -lha bin
upx --best bin/joj3 bin/repo-health-checker
ls -lha bin
force-build: prepare
docker build --no-cache -t $(IMAGE_NAME) .
build: prepare
docker build -t $(IMAGE_NAME) .
test:
docker run --rm $(IMAGE_NAME) sudo -u tt -E joj3 --help
push:
docker push $(IMAGE_NAME)

View File

@ -1,12 +0,0 @@
# Runner Images
FOCS docker images used by [act_runner](https://gitea.com/gitea/act_runner) to run workflows.
Check <https://gitea.com/gitea/runner-images> for information about base images.
Actions for this branch will build and push `focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim` image.
## Quick Start
1. Put `joj3` into `/bin` or run `make prepare`
2. `make build && make push` on a machine that can access `focs.ji.sjtu.edu.cn:5000`

View File

@ -1,18 +0,0 @@
#!/usr/bin/bash
set -e
COURSE=$1
REPO_PATH=/home/tt/.cache/$COURSE-config
GIT_USER=$(whoami)
GIT_HOSTNAME=$(hostname -s)
GIT_EMAIL="${GIT_USER}@${GIT_HOSTNAME}"
git -C $REPO_PATH pull --rebase
rsync -r --delete $REPO_PATH/home/tt/.config/ /home/tt/.config
joj3-forge convert /home/tt/.config/joj
rsync -r --delete /home/tt/.config/joj/ $REPO_PATH/home/tt/.config/joj
git -C $REPO_PATH config user.name $GIT_USER
git -C $REPO_PATH config user.email $GIT_EMAIL
git -C $REPO_PATH add home/tt/.config/joj
if ! git -C "$REPO_PATH" diff --staged --quiet; then
git -C $REPO_PATH commit -m "chore: joj3-forge convert"
git -C $REPO_PATH push
fi

103
joj-repo Normal file
View File

@ -0,0 +1,103 @@
#!/bin/bash
GITEA="ssh://git@focs.ji.sjtu.edu.cn:2222"
ORG=${GITHUB_ACTION_REPOSITORY%/*}
COURSE=${ORG/-*}
LXCHOST="tt@172.17.0.1"
#
# parse commit message
#
parse_commit() {
message=$(git log -1 --pretty=format:%s ${GITHUB_WORKFLOW_SHA})
# add empty scope if none provided, then split "type(scope): message"
OLDIFS=$IFS; IFS=$'\n'
commit=( $(sed 's/\(^[^(]*\):/\1( ):/g; s/\([^(]*\)(\?\([^)]*\))\?: \(.*\)/\1\n\2\n\3/g' <<< ${message}) )
IFS=$OLDIFS
}
#
# gen
#
generate_json() {
parse_commit
for i in ${commit[1]}; do
echo joj-conf-generator $HOME/.config/joj/$i
done
}
#
# initial repo/config setup
#
init() {
# backup current grading scoreboard
[ -d $COURSE-joj ] && backup $COURSE-joj
git clone $GITEA/$ORG/$COURSE-joj.git
cd $COURSE-config
# check existence of grading branch
git branch -a | grep -q grading && br=1
# clone grading branch or create one + push readme
if [ "x$br" = "x1" ]; then
git switch grading
git pull
else
git switch --orphan grading
echo "# $COURSE JOJ grading" > Readme.md
echo "This branch is automatically updated by JOJ, **never edit any file in this branch!**" >> Readme.md
git add Readme.md
git commit -m"docs: readme"
git push
fi
}
#
# update config repo + copy config files
#
update() {
[ -d "$COURSE-joj" ] || ( echo "ERROR: init first!" 1>&2 && exit )
# genjson
rsync -a ./$HOME/ $LXCHOST:$HOME
}
#
# simple local backup
#
backup() {
[ -d $HOME/.local/share/joj ] || mkdir -p $HOME/.local/share/joj
BCK="$HOME/.local/share/joj/$1-$(date +%y%m%d-%H%M%S)"
echo "WARNING: $1 already exits, backing it up to $BCK"
mv "$1" "$BCK"
}
[ -z "$1" ] && echo "Usage: $0 update|init" && exit 1
[ -d $HOME/.cache ] || mkdir $HOME/.cache
cd $HOME/.cache
$1