diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-22 17:31:39 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2024-07-22 17:27:14 +0200 |
commit | fadb7c2a91123639a673d0bab2403499040207bf (patch) | |
tree | 426080234ff337d3b7062e72a5db816475e5532f /ci | |
parent | 98537a0212045b8411919749a0396d122796a0bb (diff) |
lint: Add missing docker.io prefix to ci/lint_imagefile
Diffstat (limited to 'ci')
-rw-r--r-- | ci/lint_imagefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lint_imagefile b/ci/lint_imagefile index 9adc256a62..0e7ede5204 100644 --- a/ci/lint_imagefile +++ b/ci/lint_imagefile @@ -4,7 +4,7 @@ # See test/lint/README.md for usage. -FROM debian:bookworm +FROM docker.io/debian:bookworm ENV DEBIAN_FRONTEND=noninteractive ENV LC_ALL=C.UTF-8 |