Try again..

Author: jspringe

bin/ci/install_php.sh

@@ -1,20 +1,22 @@
 #!/usr/bin/env sh
 
-choco install php --version $PHP_VERSION -y
+(
+  choco install php --version $PHP_VERSION -y;
 
-echo 'extension_dir="ext"' >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_openssl.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_curl.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_mbstring.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_pdo_mysql.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_pdo_sqlite.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_fileinfo.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_gd2.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_ftp.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "extension=php_com_dotnet.dll" >> /c/tools/$PHP_DIR/php.ini
-echo "memory_limit=256M" >> /c/tools/$PHP_DIR/php.ini
-echo "curl.cainfo=C:\tools\cacert.pem" >> /c/tools/$PHP_DIR/php.ini
+  echo 'extension_dir="ext"' >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_openssl.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_curl.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_mbstring.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_pdo_mysql.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_pdo_sqlite.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_fileinfo.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_gd2.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_ftp.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "extension=php_com_dotnet.dll" >> /c/tools/$PHP_DIR/php.ini;
+  echo "memory_limit=256M" >> /c/tools/$PHP_DIR/php.ini;
+  echo "curl.cainfo=C:\tools\cacert.pem" >> /c/tools/$PHP_DIR/php.ini;
 
-# Need to figure this out. Might actually write a PHP script to handle the configuration - POST php install
-echo "zend_extension=xdebug.dll" >> /c/tools/$PHP_DIR/php.ini
+  # Need to figure this out. Might actually write a PHP script to handle the configuration - POST php install
+  echo "zend_extension=xdebug.dll" >> /c/tools/$PHP_DIR/php.ini;
+)