Pages du manuel Linux : Fonctions des bibliothèques / readline

history
GNU History Library
readline
get a line from a user with editing