diff --git a/README.md b/README.md index 75cee8364c854cc0c2aead8a13dea0fe123c1856..342bc2cd7d7836a926724d5674fa01e89a6925b7 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,3 @@ -# wp-local-dev-utilities +# vvv-utilities -Custom utilities for our local environment. These are loaded by our provisioner. +Custom utilities for VVV. diff --git a/php-cli/provision.sh b/php-cli/provision.sh index 9b4d5a2f3d3e5767d53cb5a16f66eca2d12536d8..2709a6cede70bb31ff1cd16fd746266ab2158801 100755 --- a/php-cli/provision.sh +++ b/php-cli/provision.sh @@ -1,8 +1,7 @@ #!/usr/bin/env bash -export DEBIAN_FRONTEND=noninteractive -DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" -# Change the CLI PHP back to 7.3 +echo " * Setting PHP-CLI version to 7.3" + update-alternatives --set php /usr/bin/php7.3 update-alternatives --set phar /usr/bin/phar7.3 update-alternatives --set phar.phar /usr/bin/phar.phar7.3