diff --git a/Dockerfile b/Dockerfile index f481901..862b2e9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -17,8 +17,8 @@ RUN sed -i s@/deb.debian.org/@/mirrors.tuna.tsinghua.edu.cn/@g /etc/apt/sources. # TODO: change it to FOCS gitea mirror for deployment RUN pip install git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot --break-system-packages -# install joj3 & repo-health-checker & teapot-checker -COPY bin/joj3 bin/repo-health-checker bin/teapot-checker /usr/local/bin/ +# install joj3 & repo-health-checker +COPY bin/joj3 bin/repo-health-checker /usr/local/bin/ USER student WORKDIR /home/student diff --git a/Makefile b/Makefile index 6f3ba73..532f181 100644 --- a/Makefile +++ b/Makefile @@ -7,10 +7,10 @@ all: build prepare: git submodule update --init --remote $(MAKE) -C JOJ3 - cp JOJ3/build/joj3 JOJ3/build/repo-health-checker JOJ3/build/teapot-checker bin/ - # ls -lha bin - # upx --best bin/* - # ls -lha bin + cp JOJ3/build/joj3 JOJ3/build/repo-health-checker + ls -lha bin + upx --best bin/* + ls -lha bin force-build: prepare docker build --no-cache -t $(IMAGE_NAME) .