Don't use ADD to clone git repos.

Using ADD to clone git repos breaks caching.
This commit is contained in:
Tom Alexander
2026-09-07 12:47:19 -04:00
parent 336b5d3d54
commit 6c3df1d4cd

View File

@@ -19,7 +19,17 @@ RUN apk add --no-cache build-base musl-dev git autoconf make texinfo gnutls-dev
FROM build AS build-emacs
ARG EMACS_REPO
ARG EMACS_VERSION
ADD "$EMACS_REPO#$EMACS_VERSION" /root/emacs
RUN <<EOF
set -euo pipefail
IFS=$'\n\t'
mkdir -p /root/emacs
git -C /root/emacs init --initial-branch=main
git -C /root/emacs remote add origin $EMACS_REPO
git -C /root/emacs fetch origin $EMACS_VERSION
git -C /root/emacs checkout FETCH_HEAD
EOF
#ADD "$EMACS_REPO#$EMACS_VERSION" /root/emacs
WORKDIR /root/emacs
RUN <<EOF
mkdir /root/dist