Skip to content

Instantly share code, notes, and snippets.

Last active August 29, 2015 14:15
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
What would you like to do?
# apt-get install vim
# apt-get install zsh
# apt-get install git
# apt-get install curl
# apt-get install nginx
# apt-get install mysql
# apt-get install mariadb-server
# wget -uO - | sudo apt-key add -
# echo deb saucy main | sudo tee /etc/apt/sources.list.d/hhvm.list
deb saucy main
# apt-key adv --recv-keys --keyserver hkp:// 0x5a16e7281be7a449
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --homedir /tmp/tmp.c7CYDhv2tA --no-auto-check-trustdb --trust-model always --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --recv-keys --keyserver hkp:// 0x5a16e7281be7a449
gpg: requesting key 1BE7A449 from hkp server
gpg: key 1BE7A449: "Paul Tarjan <>" not changed
gpg: Total number processed: 1
gpg: unchanged: 1
# apt-get install python-software-properties
# aptitude install software-properties-common
# add-apt-repository 'deb trusty main'
# apt-get install hhvm
* HHVM is installed.
* Running PHP web scripts with HHVM is done by having your webserver talk to HHVM
* over FastCGI. Install nginx or Apache, and then:
* $ sudo /usr/share/hhvm/
* $ sudo /etc/init.d/hhvm restart
* (if using nginx) $ sudo /etc/init.d/nginx restart
* (if using apache) $ sudo /etc/init.d/apache restart
* Detailed FastCGI directions are online at:
* If you're using HHVM to run web scripts, you probably want it to start at boot:
* $ sudo update-rc.d hhvm defaults
* Running command-line scripts with HHVM requires no special setup:
* $ hhvm whatever.php
* You can use HHVM for /usr/bin/php even if you have php-cli installed:
* $ sudo /usr/bin/update-alternatives --install /usr/bin/php php /usr/bin/hhvm 60
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment