readline.h

   1 #ifndef __READLINE_H__
   2 #define __READLINE_H__
   3
   4 void init_read_line ();
   5 int read_line (char **buffer, char *prompt);
   6 void manage_history (char *buffer);
   7 void clean_read_line (char *buffer);
   8
   9 #endif /* __READLINE_H__ */