Revertendo o PHP-CLI de volta ao caminho padrão no Ubuntu, NGINX, HHVM

Question

Enquanto fazia experimentos com otimizações na minha nova stack LEMH Linux, Nginx, MariaDB, HHVM ; Eu alterei a configuração do PHP-CLI para usar o HHVM para /usr/bin/php usando o seguinte comando:

$ sudo /usr/bin/update-alternatives --install /usr/bin/php php /usr/bin/hhvm 60

No começo tudo parecia funcionar bem ... mas logo descobri grandes problemas de reescrita de url com o NGINX e o WordPress permalinks. Eu finalmente decidi reverter para o PHP-CLI padrão, optando por uma configuração de pilha mais convencional.

Então, aqui está minha pergunta: Qual comando sudo seria usado para reverter a configuração do PHP-CLI de volta aos seus valores padrão; tal que usando sudo php --ini mostra:

/etc/php5/cli
/etc/php5/cli/php.ini
/etc/php5/cli/conf.d
etc...

Em vez do loop infinito atual; que termina quando um usuário root kills the process durante um reinício do serviço hhvm .

Eu vasculhei a documentação do HHVM para frente e para trás, mas ainda não encontrei nada que sugerisse uma possível solução. Qualquer ajuda / sabedoria é muito apreciada!

Você é,

Perp1exed.

    

Answer 1

Verifique quais alternativas existem para o php:

$ sudo update-alternatives --list php
/usr/bin/hhvm
/usr/bin/php5

Se você não quiser manter o hhvm como uma opção, você pode:

$ sudo update-alternatives --remove php /usr/bin/hhvm
update-alternatives: removing manually selected alternative - switching php to auto mode
update-alternatives: using /usr/bin/php5 to provide /usr/bin/php (php) in auto mode

Isso reverterá seu sistema para o estado original. Se você quiser manter o hhvm, basta alterar a alternativa ativa:

$ sudo update-alternatives --set php /usr/bin/php5
update-alternatives: using /usr/bin/php5 to provide /usr/bin/php (php) in manual mode

e é isso.