Manuel PHP
Précédent
Suivant
readline() retourne une ligne entrée par l 'utilisateur.
Vous pouvez spécifier une chaîne de prompt.
La ligne retournée est débarassée du caractère nouvelle ligne final.
Vous devez ajouter cette ligne à l'historique vous-même, avec la fonction readline_add_history().
Exemple 1.
Exemple avec readline()
?php / /Lit 3 commandes de l'utilisateur for ($i=0; $i 3; $i++) {$line = readline("Commande: "); readline_add_history($line);} / /liste l'historique print_r(readline_list_history()); / /liste les variables print_r(readline_info());?
Précédent
Sommaire
Suivant
Niveau supérieur
Recode (GNU)