Paradigmes informatiques
Lancer un script PHP avec des extensions particulières
25/03/2019
Il est parfois utile de lancer un script PHP en ligne de commande et non depuis un site Internet. Voici comment procéder.
Pour lancer PHPCli, il faut utiliser la commande suivante (sur PHP 7.0) :
php70 chemin_et_nom_du_script.php
Selon le code à lancer, il peut y avoir besoin d'inclure certaines des extensions de PHP :
php70 -dextension=extension.so chemin_et_nom_du_script.php
Dans le cas par exemple d'un NAS, cela permet de lancer de petits programmes. Ainsi, pour lancer en automatique les mises à jour des flux du logiciel TinyTinyRSS, j'ai créé une tâche planifiée sur DSM (l'interface des Synology) qui lance le script suivant :
php70 -dextension=mysqli.so -dextension=pdo_mysql.so -dextension=curl.so /volume1/web/tinytinyrss/update.php --feeds
Dernière modification le 25/03/2019 - Quillevere.net
Commentaires
Aucune inscription n'est requise si vous souhaitez
Rechercher sur le site
  |  RSS |  Informations |