PHP Doku:: Schreibt die History - function.readline-write-history.html

Verlauf / Chronik / History: (1) anzeigen

Sie sind hier:
Doku-StartseitePHP-HandbuchFunktionsreferenzEingabezeilenspezifische ErweiterungenGNU ReadlineReadline-Funktionenreadline_write_history

Ein Service von Reinhard Neidl - Webprogrammierung.

Readline-Funktionen

<<readline_redisplay

readline>>

readline_write_history

(PHP 4, PHP 5)

readline_write_historySchreibt die History

Beschreibung

bool readline_write_history ([ string $filename ] )

Diese Funktion schreibt die Kommandozeilen-History in eine Datei.

Parameter-Liste

filename

Pfad zur Datei, in der gespeichert werden soll.

Rückgabewerte

Gibt bei Erfolg TRUE zurück. Im Fehlerfall wird FALSE zurückgegeben.


Ein BenutzerBeitrag:
- Beiträge aktualisieren...
jonathan dot gotti at free dot fr
28.04.2006 1:52
readline_write_history() doesn't take care of the $_SERVER['HISTSIZE'] value, here's an example on how to handle an history file in your apps taking care of user preferences regarding history size.

at the begining of your script:
<?php
$history_file
= $_SERVER['HOME'].'/.PHPinteractive_history';
# read history from previous session
if(is_file($history_file))
 
readline_read_history($history_file);
....
# your application's code
....
# put this at the end of yur script to save history and take care of $_SERVER['HISTSIZE']
if( readline_write_history($history_file) ){
 
# clean history if too long
 
$hist = readline_list_history();
  if( (
$histsize = count($hist)) > $_SERVER['HISTSIZE'] ){
   
$hist = array_slice($hist, $histsize - $_SERVER['HISTSIZE']);
   
# in php5 you can replaces thoose line with a file_puts_content()
   
if( $fhist = fopen($history_file,'w') ){
     
fwrite($fhist,implode("\n",$hist));
     
fclose($fhist);
    }
  }
}
?>



PHP Powered Diese Seite bei php.net
The PHP manual text and comments are covered by the Creative Commons Attribution 3.0 License © the PHP Documentation Group - Impressum - mail("TO:Reinhard Neidl",...)