#154: Use the local dependency install script in development

joomlatools · Aug 26, 2019 · 0a68a5d · yiendos · Aug 27, 2019 · 0a68a5d
1 parent 5fafb3a
commit 0a68a5d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git 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 → shell/install-phpmanager-dependencies.sh-foo b/shell/install-phpmanager-dependencies.sh → shell/install-phpmanager-dependencies.sh-foo