array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'function.readline.php', 1 => 'readline', ), 'up' => array ( 0 => 'ref.readline.php', 1 => 'Fonctions Readline', ), 'prev' => array ( 0 => 'function.readline-write-history.php', 1 => 'readline_write_history', ), 'next' => array ( 0 => 'refs.compression.php', 1 => 'Extensions sur l\'archivage et la compression', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/readline/functions/readline.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(PHP 4, PHP 5, PHP 7, PHP 8)
readline — Lit une ligne
Retourne une ligne entrée par l'utilisateur. Vous devez ajouter cette ligne à l'historique vous-même, avec la fonction readline_add_history().
prompt
Vous pouvez spécifier une chaîne de caractères à utiliser comme prompt à l'utilisateur.
Retourne une chaîne de caractères depuis l'utilisateur. La ligne retournée a été
débarrassée du caractère final de nouvelle ligne.
S'il n'y a plus de données à lire, alors false
est retourné.
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());
?>