Skip to content

Instantly share code, notes, and snippets.

@eric1234

eric1234/install_phpsh.sh

Created November 5, 2013 19:34
Show Gist options
  • Star 6 You must be signed in to star a gist
  • Fork 2 You must be signed in to fork a gist
  • Save eric1234/7324795 to your computer and use it in GitHub Desktop.
Save eric1234/7324795 to your computer and use it in GitHub Desktop.
Download ZIP
Install phpsh on Ubuntu
Raw
install_phpsh.sh
# https://gist.github.com/eric1234/7324795
# Make sure git is installed
apt-get install -y git
# Remove functions that phpsh needs from config.
sed -i 's/pcntl_signal,//g' /etc/php5/cli/php.ini
sed -i 's/pcntl_fork,//g' /etc/php5/cli/php.ini
sed -i 's/pcntl_wait,//g' /etc/php5/cli/php.ini
# Install source code
cd /usr/local/src
git clone https://github.com/uncreative/phpsh.git
# Build and install
cd phpsh
python setup.py build
python setup.py install
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment