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

On Ubuntu systems and probably any recent Debian based distribution, the .profile file is not read if a .bash_profile file exists.
So we need to check .bash_profile before .profile