From 793d4a895c0b4a200ec295d94928ba58c00b82d8 Mon Sep 17 00:00:00 2001 From: Jacob McSwain Date: Sat, 3 Jun 2023 20:49:31 -0500 Subject: [PATCH] Swap back to upstream Kiri --- Dockerfile | 4 ++-- entrypoint.sh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 6ba951b..719a277 100644 --- a/Dockerfile +++ b/Dockerfile @@ -91,9 +91,9 @@ RUN yes | opam init --disable-sandboxing && \ rm -rf ~/.opam/repo/* # Install kiri, kidiff and plotgitsch -ADD https://api.github.com/repos/USA-RedDragon/kiri/git/refs/heads/main kiri_version.json +ADD https://api.github.com/repos/leoheck/kiri/git/refs/heads/main kiri_version.json ENV KIRI_HOME "/home/github/.local/share/kiri" -RUN git clone --recurse-submodules -j8 https://github.com/USA-RedDragon/kiri.git "${KIRI_HOME}" +RUN git clone --recurse-submodules -j8 https://github.com/leoheck/kiri.git "${KIRI_HOME}" RUN cd "${KIRI_HOME}/submodules/plotkicadsch" && \ opam pin add -y kicadsch . && \ opam pin add -y plotkicadsch . && \ diff --git a/entrypoint.sh b/entrypoint.sh index 272cb4b..80a5228 100644 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -17,7 +17,7 @@ fi . /home/github/.profile -KIRI_ARGS="--no-server --no-error-on-commit-count" +KIRI_ARGS="--no-server" # KIRI_OUTPUT_DIR -> --output-dir if [ -n "${KIRI_OUTPUT_DIR}" ]; then