I’m reviewing bitcoin’s ci/lint instructions, I found some docker image files are named as “_imagefile”. And some docker image files are named as “.Dockerfile”.
I think we should name “_imagefile” to “.Dockerfile” to keep consistency. Friendly invite fanquake to review this. Thank you.
https://docs.docker.com/build/concepts/dockerfile/
0$ fd imagefile
1ci/lint_imagefile
2ci/test_imagefile
3
4$ fd Dockerfile
5src/minisketch/ci/linux-debian.Dockerfile
6src/secp256k1/ci/linux-debian.Dockerfile
7
8$ rg -. test_imagefile
9ci/test/02_run_container.sh
1051: --file "${BASE_READ_ONLY_DIR}/ci/test_imagefile" \
11
12$ rg -. lint_imagefile
13test/lint/README.md
1410:DOCKER_BUILDKIT=1 docker build -t bitcoin-linter --file "./ci/lint_imagefile" ./ && docker run --rm -v $(pwd):/bitcoin -it bitcoin-linter
15
16$ mv ci/lint_imagefile ci/lint.Dockerfile
17
18$ mv ci/test_imagefile ci/test.Dockerfile