Skip to content

Commit db244c2

Browse files
committed
Bump nix develop based docker image to tlaurion/heads-dev-env:v0.2.7
Adds coreboot-utils, needed by diffocsope to investigate changes in coreboot roms The docker image IS reproducible once pushed (no change on docker.io) after having reordered commits etc. README.md adapted from bumping to v0.2.7 .circleci/config.yml now includes comment for version and hash for docker pinning Signed-off-by: Thierry Laurion <insurgo@riseup.net>
1 parent 3e8e237 commit db244c2

5 files changed

Lines changed: 20 additions & 14 deletions

File tree

.circleci/config.yml

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,8 @@ commands:
4848
jobs:
4949
prep_env:
5050
docker:
51-
- image: tlaurion/heads-dev-env:v0.2.5
51+
# Docker image: tlaurion/heads-dev-env:v0.2.7
52+
- image: tlaurion/heads-dev-env@sha256:5f890f3d1b6b57f9e567191695df003a2ee880f084f5dfe7a5633e3e8f937479
5253
resource_class: large
5354
working_directory: ~/heads
5455
steps:
@@ -123,7 +124,8 @@ jobs:
123124

124125
build_and_persist:
125126
docker:
126-
- image: tlaurion/heads-dev-env:v0.2.5
127+
# Docker image: tlaurion/heads-dev-env:v0.2.7
128+
- image: tlaurion/heads-dev-env@sha256:5f890f3d1b6b57f9e567191695df003a2ee880f084f5dfe7a5633e3e8f937479
127129
resource_class: large
128130
working_directory: ~/heads
129131
parameters:
@@ -151,7 +153,8 @@ jobs:
151153

152154
build:
153155
docker:
154-
- image: tlaurion/heads-dev-env:v0.2.5
156+
# Docker image: tlaurion/heads-dev-env:v0.2.7
157+
- image: tlaurion/heads-dev-env@sha256:5f890f3d1b6b57f9e567191695df003a2ee880f084f5dfe7a5633e3e8f937479
155158
resource_class: large
156159
working_directory: ~/heads
157160
parameters:
@@ -172,7 +175,8 @@ jobs:
172175

173176
save_cache:
174177
docker:
175-
- image: tlaurion/heads-dev-env:v0.2.5
178+
# Docker image: tlaurion/heads-dev-env:v0.2.7
179+
- image: tlaurion/heads-dev-env@sha256:5f890f3d1b6b57f9e567191695df003a2ee880f084f5dfe7a5633e3e8f937479
176180
resource_class: large
177181
working_directory: ~/heads
178182
steps:

docker/DOCKER_REPRO_DIGEST

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,4 +9,5 @@
99
# sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
1010

1111
# Place the digest on the first non-comment line below (remove the leading '#')
12-
sha256-50a9110cdfc6a74a383169d7c624139c3b3e05567b87203498118a8a33dd79f1
12+
# Version: v0.2.7
13+
sha256:5f890f3d1b6b57f9e567191695df003a2ee880f084f5dfe7a5633e3e8f937479

docker/get_digest.sh

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ Usage: $0 [--yes|-y] IMAGE[:TAG|@DIGEST]
77
88
Helper to print the full 'repo@digest' and the raw digest for a docker image.
99
Behavior:
10-
- The script treats the provided image reference literally. Provide exact `repo/name:tag` or `repo@digest` (e.g. `tlaurion/heads-dev-env:v0.2.6`).
10+
- The script treats the provided image reference literally. Provide exact `repo/name:tag` or `repo@digest` (e.g. `tlaurion/heads-dev-env:v0.2.7`).
1111
- If the image exists locally, the script prints the first RepoDigest (repo@digest) and the raw digest.
1212
- If the image is not present locally, the script will offer to pull the exact provided reference to obtain a local RepoDigest (interactive or `-y`).
1313
- The script prefers to operate on local image state (e.g., Docker local RepoDigests). If a local digest is not available it may query the Docker Hub v2 HTTP API (docker.io) via `curl` to obtain an authoritative manifest digest for docker.io images; this requires network access and appropriate registry connectivity. For other registries or Docker versions you may still need to use `docker manifest inspect` or `skopeo inspect` manually if `RepoDigests` is not populated.
@@ -17,9 +17,9 @@ Options:
1717
-h, --help Show this help message
1818
1919
Examples:
20-
./docker/get_digest.sh tlaurion/heads-dev-env:v0.2.6
20+
./docker/get_digest.sh tlaurion/heads-dev-env:v0.2.7
2121
./docker/get_digest.sh tlaurion/heads-dev-env:latest
22-
./docker/get_digest.sh -y tlaurion/heads-dev-env:v0.2.6
22+
./docker/get_digest.sh -y tlaurion/heads-dev-env:v0.2.7
2323
# Note: provide the exact repo:name:tag you intend; the script treats the reference literally.
2424
USAGE
2525
}
@@ -47,7 +47,7 @@ fi
4747
image="$1"
4848

4949
# Treat the provided image reference literally and do not try to append ':latest'.
50-
# The caller should provide the exact reference they intend (e.g. 'tlaurion/heads-dev-env:v0.2.6'),
50+
# The caller should provide the exact reference they intend (e.g. 'tlaurion/heads-dev-env:v0.2.7'),
5151
# and the script will inspect that exact reference and prompt to pull it if missing.
5252
image_provided="${image}"
5353
image="${image_provided}"

docker/pin-and-run.sh

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ usage() {
66
Usage: $0 [-y|--yes] [-w|--wrapper WRAPPER] IMAGE [-- [WRAPPER [WRAPPER_ARGS...]]]
77
88
Helper: obtain an image digest and run a docker wrapper pinned to that digest.
9-
- IMAGE: an exact docker image ref (e.g. tlaurion/heads-dev-env:v0.2.6)
9+
- IMAGE: an exact docker image ref (e.g. tlaurion/heads-dev-env:v0.2.7)
1010
- If the image is not present locally, the helper will probe the registry and
1111
offer to pull it (use -y/--yes to auto-pull).
1212
- WRAPPER: the docker wrapper to execute (e.g. ./docker_latest.sh or ./docker_repro.sh).
@@ -20,16 +20,16 @@ Options:
2020
2121
Examples:
2222
# Interactive: obtain digest and run the 'latest' wrapper pinned to that digest (explicit wrapper recommended)
23-
./docker/pin-and-run.sh tlaurion/heads-dev-env:v0.2.6 -- ./docker_latest.sh make BOARD=qemu-coreboot-fbwhiptail-tpm2
23+
./docker/pin-and-run.sh tlaurion/heads-dev-env:v0.2.7 -- ./docker_latest.sh make BOARD=qemu-coreboot-fbwhiptail-tpm2
2424
2525
# Auto-pull and run (auto-pull the ref to obtain a local digest then run wrapper)
26-
./docker/pin-and-run.sh -y tlaurion/heads-dev-env:v0.2.6 -- ./docker_latest.sh make BOARD=qemu-coreboot-fbwhiptail-tpm2
26+
./docker/pin-and-run.sh -y tlaurion/heads-dev-env:v0.2.7 -- ./docker_latest.sh make BOARD=qemu-coreboot-fbwhiptail-tpm2
2727
2828
# Shortcut: omit the wrapper and just provide the command — the helper will use the default './docker_latest.sh'
29-
./docker/pin-and-run.sh tlaurion/heads-dev-env:v0.2.6 -- make BOARD=qemu-coreboot-fbwhiptail-tpm2
29+
./docker/pin-and-run.sh tlaurion/heads-dev-env:v0.2.7 -- make BOARD=qemu-coreboot-fbwhiptail-tpm2
3030
3131
# Use a different wrapper explicitly (e.g. repro):
32-
./docker/pin-and-run.sh -w ./docker_repro.sh tlaurion/heads-dev-env:v0.2.6 -- make BOARD=qemu-coreboot-fbwhiptail-tpm2
32+
./docker/pin-and-run.sh -w ./docker_repro.sh tlaurion/heads-dev-env:v0.2.7 -- make BOARD=qemu-coreboot-fbwhiptail-tpm2
3333
USAGE
3434
}
3535

flake.nix

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,7 @@
3030
bzip2
3131
cacert
3232
ccache
33+
coreboot-utils #consumed by diffoscope for ifdtool cbfsutils etc
3334
cmake
3435
cpio
3536
curl

0 commit comments

Comments
 (0)