phalcon/phalcon-devtools — pull request #49 by svanpoeck (2013-03-07 08:41:16+00:00)
Title: Update phalcon.sh

On Ubuntu and probably any recent Debian-based distro, the .profile file is not read if a .bash_profile file exists.
So better write the PTOOLSPATH to .bash_profile first.