Hello everyone, here is a little tip to install Phalcon development tools.

Downloading sources :

composer global require "phalcon/devtools"

Add global composer in the path :

printf '#!/bin/bash\nexport PATH=$PATH:$HOME/.config/composer/vendor/bin\n' | sudo tee /etc/profile.d/Z99-phalcon.sh

You must now log out in order for the changes to take effect

Exemple :

phalcon.php

Return :

Phalcon DevTools (3.4.0) ...