00001 #include <stdio.h> 00002 #include <readline/readline.h> 00003 #include <readline/history.h> 00004 int main(int argc, char **argv) 00005 { 00006 char *theLine = readline("the prompt"); 00007 }