From 0a68a5d8202a6e7552dcb3339db4019beaaeb93b Mon Sep 17 00:00:00 2001 From: Steven Rombauts Date: Mon, 26 Aug 2019 11:41:24 +0200 Subject: [PATCH] #154: Use the local dependency install script in development --- .../profiles/files/box/phpmanager/scripts/phpmanager | 7 ++++++- ...endencies.sh => install-phpmanager-dependencies.sh-foo} | 0 2 files changed, 6 insertions(+), 1 deletion(-) rename shell/{install-phpmanager-dependencies.sh => install-phpmanager-dependencies.sh-foo} (100%) diff --git a/puppet/environments/box/modules/profiles/files/box/phpmanager/scripts/phpmanager b/puppet/environments/box/modules/profiles/files/box/phpmanager/scripts/phpmanager index b6a2a8e..a21310d 100755 --- a/puppet/environments/box/modules/profiles/files/box/phpmanager/scripts/phpmanager +++ b/puppet/environments/box/modules/profiles/files/box/phpmanager/scripts/phpmanager @@ -678,7 +678,12 @@ sub_checksource() { echo -e "\033[33mOlder versions of PHP require extra dependencies.\e[0m" echo -e "Please wait while we set up all build dependencies. This can take a couple of minutes .. \n" - CMD="wget -nv https://developer.joomlatools.com/vagrant/phpmanager/dependencies -O /tmp/install-phpmanager-dependencies.sh" + if [[ -f "/vagrant/shell/install-phpmanager-dependencies.sh" ]] ; then + CMD="cp /vagrant/shell/install-phpmanager-dependencies.sh /tmp/install-phpmanager-dependencies.sh" + else + CMD="wget -nv https://developer.joomlatools.com/vagrant/phpmanager/dependencies -O /tmp/install-phpmanager-dependencies.sh" + fi + sub_execute "$CMD" "download" "/tmp/install-phpmanager-dependencies.log" "Downloading install script" chmod +x /tmp/install-phpmanager-dependencies.sh diff --git a/shell/install-phpmanager-dependencies.sh b/shell/install-phpmanager-dependencies.sh-foo similarity index 100% rename from shell/install-phpmanager-dependencies.sh rename to shell/install-phpmanager-dependencies.sh-foo