1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2024-12-12 19:18:24 +02:00
ripgrep/ci/docker
Andrew Gallant 5dc424d302 doc: scrub mentions of asciidoc/asciidoctor
This optional dependency is now finally dropped. So ends a long journey
of trying to generate man pages in a lightweight and dependable way. The
only thing I could figure out how to make work reliably was to just
learn how to write roff myself. Yay.
2023-11-21 18:39:32 -05:00
..
aarch64-unknown-linux-gnu ci: replace mips with powerpc64, aarch64 and s390x 2023-08-28 22:45:46 -04:00
i686-unknown-linux-gnu ci: switch build to GitHub Actions 2020-02-20 16:07:51 -05:00
powerpc64-unknown-linux-gnu ci: replace mips with powerpc64, aarch64 and s390x 2023-08-28 22:45:46 -04:00
s390x-unknown-linux-gnu ci: replace mips with powerpc64, aarch64 and s390x 2023-08-28 22:45:46 -04:00
x86_64-unknown-linux-musl ci: switch build to GitHub Actions 2020-02-20 16:07:51 -05:00
README.md doc: scrub mentions of asciidoc/asciidoctor 2023-11-21 18:39:32 -05:00

These are Docker images used for cross compilation in CI builds (or locally) via the Cross tool.

The Cross tool actually provides its own Docker images, and all Docker images in this directory are derived from one of them. We provide our own in order to customize the environment. For example, we need to install compression tools like xz so that tests for the -z/--search-zip flag are run.

If you make a change to a Docker image, then you can re-build it. cd into the directory containing the Dockerfile and run:

$ cd x86_64-unknown-linux-musl
$ ./build

At this point, subsequent uses of cross will now use your built image since Docker prefers local images over remote images. In order to make these changes stick, they need to be pushed to Docker Hub:

$ docker push burntsushi/cross:x86_64-unknown-linux-musl

Of course, only I (BurntSushi) can push to that location. To make cross use a different location, then edit Cross.toml in the root of this repo to use a different image name for the desired target.