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