tfe Homepage

02/07/2018

Switch entre version php5-cgi et php7-cgi sous debian

Au boulot, on utilise des vieilles applications tournant sous PHP5. Du coup je suis obligé de passer en php5-cgi à chaque fois que je travaille dessus.

Pour faire ça, j'ai trouvé cette petite astuce:

# Passage en php7.2
$ update-alternatives  --set php-cgi /usr/bin/php-cgi7.2
$ pkill php-cgi

# Passage en php5-cgi
$ update-alternatives  --set php-cgi /usr/bin/php5-cgi
$ pkill php-cgi

Et pour passer facilement d'une verison à l'autre, on peut creer 2 alias dans notre fichier ~/.bash_aliases:

alias php5_switch='sudo update-alternatives  --set php-cgi /usr/bin/php5-cgi; sudo pkill php-cgi'
alias php7_switch='sudo update-alternatives  --set php-cgi /usr/bin/php-cgi7.2; sudo pkill php-cgi'