update-external-pins.sh 359 B

123456789101112131415161718
  1. #!/usr/bin/env bash
  2. set -Eeuo pipefail
  3. dir='.external-pins'
  4. if [ "$#" -eq 0 ]; then
  5. images="$(find "$dir" -type f -printf '%P\n' | sort)"
  6. set -- $images
  7. fi
  8. for img; do
  9. echo -n "$img -> "
  10. digest="$(bashbrew remote arches --json "$img" | jq -r '.desc.digest')"
  11. imgDir="$(dirname "$dir/$img")"
  12. mkdir -p "$imgDir"
  13. echo "$digest" | tee "$dir/$img"
  14. done