Skip to content

Instantly share code, notes, and snippets.

@bountin
Created January 26, 2015 21:11
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bountin/75e7ac8354f9f66af572 to your computer and use it in GitHub Desktop.
Save bountin/75e7ac8354f9f66af572 to your computer and use it in GitHub Desktop.
Puphpet test script for installing pgsql.so
#!/bin/bash
# Copy to puphpet/files/exec-always/
EXTENSION_CONFIG=`grep pgsql.so /etc/hhvm/php.ini`
PHP_INI="/etc/hhvm/php.ini"
if [ -z "$EXTENSION_CONFIG" ]
then
echo "Installing hhvm-pgsql.so"
echo "" >> $PHP_INI
echo "hhvm.dynamic_extension_path = /vagrant/puphpet/files/hhvm-extensions" >> $PHP_INI
echo "hhvm.dynamic_extensions[pgsql] = pgsql.so" >> $PHP_INI
/etc/init.d/hhvm restart
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment