Source of: /manual/en/book.readline.php
<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/refs.utilspec.cmdline.inc";
$setup = array (
'home' =>
array (
0 => 'index.php',
1 => 'PHP Manual',
),
'head' =>
array (
0 => 'UTF-8',
1 => 'en',
),
'this' =>
array (
0 => 'book.readline.php',
1 => 'Readline',
),
'up' =>
array (
0 => 'refs.utilspec.cmdline.php',
1 => 'Command Line Specific Extensions',
),
'prev' =>
array (
0 => 'function.ncurses-wvline.php',
1 => 'ncurses_wvline',
),
'next' =>
array (
0 => 'intro.readline.php',
1 => 'Introduction',
),
);
$setup["toc"] = $TOC;
$setup["parents"] = $PARENTS;
manual_setup($setup);
manual_header();
?>
<div>
<h1 class="title">GNU Readline</h1>
<ul class="chunklist chunklist_book"><li><a href="intro.readline.php">Introduction</a></li><li><a href="readline.setup.php">Installing/Configuring</a><ul class="chunklist chunklist_book chunklist_children"><li><a href="readline.requirements.php">Requirements</a></li><li><a href="readline.installation.php">Installation</a></li><li><a href="readline.configuration.php">Runtime Configuration</a></li><li><a href="readline.resources.php">Resource Types</a></li></ul></li><li><a href="readline.constants.php">Predefined Constants</a></li><li><a href="ref.readline.php">Readline Functions</a><ul class="chunklist chunklist_book chunklist_children"><li><a href="function.readline-add-history.php">readline_add_history</a> — Adds a line to the history</li><li><a href="function.readline-callback-handler-install.php">readline_callback_handler_install</a> — Initializes the readline callback interface and terminal, prints the prompt and returns immediately</li><li><a href="function.readline-callback-handler-remove.php">readline_callback_handler_remove</a> — Removes a previously installed callback handler and restores terminal settings</li><li><a href="function.readline-callback-read-char.php">readline_callback_read_char</a> — Reads a character and informs the readline callback interface when a line is received</li><li><a href="function.readline-clear-history.php">readline_clear_history</a> — Clears the history</li><li><a href="function.readline-completion-function.php">readline_completion_function</a> — Registers a completion function</li><li><a href="function.readline-info.php">readline_info</a> — Gets/sets various internal readline variables</li><li><a href="function.readline-list-history.php">readline_list_history</a> — Lists the history</li><li><a href="function.readline-on-new-line.php">readline_on_new_line</a> — Inform readline that the cursor has moved to a new line</li><li><a href="function.readline-read-history.php">readline_read_history</a> — Reads the history</li><li><a href="function.readline-redisplay.php">readline_redisplay</a> — Redraws the display</li><li><a href="function.readline-write-history.php">readline_write_history</a> — Writes the history</li><li><a href="function.readline.php">readline</a> — Reads a line</li></ul></li></ul></div><?php manual_footer(); ?>
