Utilitaires
Scripts
Divers
Jeux
Rechercher
Quillevere.net
Réflexions 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 -dbextension=mysql.so /volume1/web/tinytinyrss/update.php --feeds
Dernière modification le 25/03/2019 - Quillevere.net

Rechercher sur le site

rss RSS info Informations