[serveur] Modification du fichier php.ini via SSH

Uniquement pour serveurs dédiés... il faut se connecter via SSH (avec le logiciel Putty ou Kitty qui a l'avantage d'être en français). Une fois connecté en root :

cd /usr/local/lib
cp php.ini php.ini.bak
pico php.ini
Si pico n'existe pas : nano php.ini

Le contenu du fichier s'affiche : CTRL+W pour faire une recherche
On tape la commande qu'on cherche, par ex max-execution_time et on la modifie. On recommence autant de fois que nécessaire.

CTRL+O pour enregistrer, puis Y pour confirmer.

Si par la suite il y a un problème avec la nouvelle configuration, on va chercher la sauvegarde :

cd /usr/local/lib
mv php.ini php.ini.modifie && mv php.ini.bak php.ini

Et voilà !