Creamos un directorio por ejemplo en /var/www/phalcon-tools y seguimos los pasos de instalación que pone en el manual hasta el final, es ahí donde hay cambios. Hay que cambiar la ruta donde esta el ejecutable de phalcon ...
Esto
ln -s ~/devtools/phalcon.php /usr/bin/phalcon
Por esto por la ruta donde instalais phalcon-tools, en el ejemplo /var/www/phalcon-tools
ln -s /var/www/phalcon-tools/vendor/phalcon/devtools/phalcon.php /usr/bin/phalcon
Y ya están listas las herramientas de desarrollo de phalcon para ayudar a crear proyectos.
Saludos
Alex.
También puede interesarte:
Como crear un menú desplegable en PHP, HTML, CSS y javascript / jquery |