O script de instalação do Devtools é um pouco bugs. Você pode instalá-lo com bastante facilidade apenas clonando o código do git e criando um link simbólico para o phalcon.php.
-
vá para alguma pasta (digamos que seja a pasta pessoal do usuário) e clone os devtools com:
cd ~
git clone link -
crie um link simbólico e altere suas permissões:
ln -s ~ / phalcon-devtools / phalcon.php / usr / bin / phalcon
chmod ugo + x / usr / bin / phalcon
E deveria ser isso. Quando você executa o phalcon no terminal, ele deve fornecer a lista de comandos. Se ele reclama de phalcon não instalado, então você tem que adicionar linha
extension=phalcon.so
para o php.ini do seu cli, uma vez que você provavelmente alterou apenas o php.ini do apache ou qualquer servidor que esteja usando.