array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'uk', ), 'this' => array ( 0 => 'readline.configuration.php', 1 => 'Налаштування під час виконання', 2 => 'Налаштування під час виконання', ), 'up' => array ( 0 => 'readline.setup.php', 1 => 'Встановлення/налаштування', ), 'prev' => array ( 0 => 'readline.installation.php', 1 => 'Встановлення', ), 'next' => array ( 0 => 'readline.constants.php', 1 => 'Попередньо визначені константи', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'en', 'path' => 'reference/readline/ini.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Налаштування під час виконання

На поведінку цих функцій випливають налаштування в php.ini.

Readline Параметри конфігурації

Назва Початково Де можна змінювати Журнал змін

cli.pager "" INI_ALL

cli.prompt "\\b \\> " INI_ALL

Тут є коротке пояснення директив конфігурації.

cli.pager string: External tool to display output from command line.
cli.prompt string: Command line prompt.