Manage your PHP versions:
You should also check out phpswitch : https://github.com/jubianchi/phpswitch
@jubianchi I've starred phpswitch too, but I found phpbrew to be more intuitive. Thanks.
I was also using phpbrew but I had problems when I wanted to use it in one of my vagrant box (https://github.com/jubianchi/php-ci-box) so I wrote phpswitch.
It's still a WIP but is also quite stable. If you have any feedback on it I would be glad to improve the tool so it becomes more intuitive :)
@jubianchi sure, I will give a try again.
Are there any (fundamental) differences between phpswitch and phpbrew worth mentioning? Are there different use-cases maybe?