1ea5e96fcb
* extend quick helper script with settings and dynamic php version variable * link redis-local config as volume & correct include path * minio access keys moved to conrecte service instance * corrected used php version for workspace81
17 lines
398 B
Bash
Executable File
17 lines
398 B
Bash
Executable File
#!/bin/bash
|
|
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
. $SCRIPT_DIR/_settings.sh || {
|
|
echo "no settings" && exit 1
|
|
}
|
|
|
|
function dot_version() {
|
|
sed -r 's/^([[:digit:]])/\1./g' <<< $1
|
|
}
|
|
|
|
for PHP_VERSION in "${PHP_VERSIONS[@]}"; do
|
|
PHP_IMAGE=$(dot_version ${PHP_VERSION})
|
|
|
|
docker pull "dimti/workspace:${PHP_IMAGE}"
|
|
docker pull "dimti/php:${PHP_IMAGE}"
|
|
done |