How to update Phalcon on Vagrant

phalcon-update

// Add Phalcon repository
sudo apt-add-repository -y ppa:phalcon/stable
sudo apt-get update

// Install PhalconPHP
sudo apt-get install -y php5-phalcon

// Install PhalconPHP DevTools
cd ~

// remove existing folders and files
sudo rm -R /opt/phalcon-tools
sudo rm -R ~/vendor/phalcon/devtools/
sudo rm -R /usr/bin/phalcon
rm composer.lock
rm composer.json

// proceed with installation
echo '{"require": {"phalcon/devtools": "dev-master"}}' > composer.json
composer install
rm composer.json

sudo mkdir /opt/phalcon-tools
sudo mv ~/vendor/phalcon/devtools/* /opt/phalcon-tools
sudo ln -s /opt/phalcon-tools/phalcon.php /usr/bin/phalcon
sudo rm -rf ~/vendor

// restart apache
sudo a2ensite vagrant
sudo a2dissite 000-default
sudo service apache2 restart
sudo service mongodb restart