1#!/usr/bin/env bash 2 3source /usr/local/bin/bash_standard_lib.sh 4 5DOCKER_IMAGES="php:8.0-cli 6php:7.4-cli 7php:7.3-cli 8php:7.2-cli 9php:7.1-cli 10" 11 12for di in ${DOCKER_IMAGES} 13do 14(retry 2 docker pull "${di}") || echo "Error pulling ${di} Docker image, we continue" 15done 16 17