diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-16 12:01:25 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-07-16 13:18:18 +0200 |
| commit | fa2f18ad8e386f067c2d7d5362f6b4dd84c295a0 (patch) | |
| tree | 6205699c7099c78311bbc02a745f4ed668751688 /ci/lint_imagefile | |
| parent | 01e5d6b105861ebf1216df6f1682004e44dd2544 (diff) | |
ci: Use DOCKER_BUILDKIT for lint image
Can be reviewed with:
--color-moved=dimmed-zebra --ignore-all-space
Diffstat (limited to 'ci/lint_imagefile')
| -rw-r--r-- | ci/lint_imagefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ci/lint_imagefile b/ci/lint_imagefile new file mode 100644 index 0000000000..20047ea391 --- /dev/null +++ b/ci/lint_imagefile @@ -0,0 +1,19 @@ +# See test/lint/README.md for usage. + +FROM debian:bookworm + +ENV DEBIAN_FRONTEND=noninteractive +ENV LC_ALL=C.UTF-8 + +COPY ./.python-version /.python-version +COPY ./ci/lint/docker-entrypoint.sh /entrypoint.sh +COPY ./ci/lint/04_install.sh /install.sh + +RUN /install.sh && \ + echo 'alias lint="./ci/lint/06_script.sh"' >> ~/.bashrc && \ + chmod 755 /entrypoint.sh && \ + rm -rf /var/lib/apt/lists/* + + +WORKDIR /bitcoin +ENTRYPOINT ["/entrypoint.sh"] |