readline_write_history

readline_write_history -- Ecrit dans l'historique

Description

boolean readline_write_history ( string filename)

readline_write_history( ) écrit filename dans l 'historique .