1 /* Copyright (C) 1987-2002 Free Software Foundation, Inc.
3 This file is part of the GNU Readline Library, a library for
4 reading lines of text with interactive input and history editing.
6 The GNU Readline Library is free software; you can redistribute it
7 and/or modify it under the terms of the GNU General Public License
8 as published by the Free Software Foundation; either version 2, or
9 (at your option) any later version.
11 The GNU Readline Library is distributed in the hope that it will be
12 useful, but WITHOUT ANY WARRANTY; without even the implied warranty
13 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 The GNU General Public License is often shipped with GNU software, and
17 is generally kept in a file called COPYING or LICENSE. If you do not
18 have a copy of the license, write to the Free Software Foundation,
19 59 Temple Place, Suite 330, Boston, MA 02111 USA. */
23 #ifdef READLINE_LIBRARY
26 # include <readline/history.h>
43 t = fgets (line, sizeof (line) - 1, stdin);
47 if (t[len - 1] == '\n')
52 strcpy (line, "quit");
61 result = history_expand (line, &expansion);
63 fprintf (stderr, "%s\n", expansion);
65 if (result < 0 || result == 2)
71 add_history (expansion);
72 strncpy (line, expansion, sizeof (line) - 1);
76 if (strcmp (line, "quit") == 0)
78 else if (strcmp (line, "save") == 0)
79 write_history ("history_file");
80 else if (strcmp (line, "read") == 0)
81 read_history ("history_file");
82 else if (strcmp (line, "list") == 0)
84 register HIST_ENTRY **the_list;
87 the_list = history_list ();
89 for (i = 0; the_list[i]; i++)
90 printf ("%d: %s\n", i + history_base, the_list[i]->line);
92 else if (strncmp (line, "delete", 6) == 0)
95 if ((sscanf (line + 6, "%d", &which)) == 1)
97 HIST_ENTRY *entry = remove_history (which);
99 fprintf (stderr, "No such entry %d\n", which);
108 fprintf (stderr, "non-numeric arg given to `delete'\n");