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");