]>
Commit | Line | Data |
---|---|---|
726f6388 JA |
1 | /* bashhist.h -- interface to the bash history functions in bashhist.c. */ |
2 | ||
3 | /* Copyright (C) 1993 Free Software Foundation, Inc. | |
4 | ||
5 | This file is part of GNU Bash, the Bourne Again SHell. | |
6 | ||
7 | Bash is free software; you can redistribute it and/or modify it under | |
8 | the terms of the GNU General Public License as published by the Free | |
9 | Software Foundation; either version 2, or (at your option) any later | |
10 | version. | |
11 | ||
12 | Bash is distributed in the hope that it will be useful, but WITHOUT ANY | |
13 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 | for more details. | |
16 | ||
17 | You should have received a copy of the GNU General Public License along | |
18 | with Bash; see the file COPYING. If not, write to the Free Software | |
bb70624e | 19 | Foundation, 59 Temple Place, Suite 330, Boston, MA 02111 USA. */ |
726f6388 | 20 | |
ccc6cda3 JA |
21 | #if !defined (_BASHHIST_H_) |
22 | #define _BASHHIST_H_ | |
726f6388 | 23 | |
f73dda09 JA |
24 | #include "stdc.h" |
25 | ||
b80f6443 JA |
26 | /* Flag values for history_control */ |
27 | #define HC_IGNSPACE 0x01 | |
28 | #define HC_IGNDUPS 0x02 | |
29 | #define HC_ERASEDUPS 0x04 | |
30 | ||
31 | #define HC_IGNBOTH (HC_IGNSPACE|HC_IGNDUPS) | |
32 | ||
726f6388 | 33 | extern int remember_on_history; |
f1be666c JA |
34 | extern int enable_history_list; /* value for `set -o history' */ |
35 | extern int literal_history; /* controlled by `shopt lithist' */ | |
36 | extern int force_append_history; | |
726f6388 JA |
37 | extern int history_lines_this_session; |
38 | extern int history_lines_in_file; | |
39 | extern int history_expansion; | |
40 | extern int history_control; | |
41 | extern int command_oriented_history; | |
7117c2d2 | 42 | extern int current_command_first_line_saved; |
d166f048 | 43 | extern int hist_last_line_added; |
95732b49 | 44 | extern int hist_last_line_pushed; |
726f6388 JA |
45 | |
46 | # if defined (BANG_HISTORY) | |
47 | extern int history_expansion_inhibited; | |
48 | # endif /* BANG_HISTORY */ | |
49 | ||
f73dda09 JA |
50 | extern void bash_initialize_history __P((void)); |
51 | extern void bash_history_reinit __P((int)); | |
52 | extern void bash_history_disable __P((void)); | |
53 | extern void bash_history_enable __P((void)); | |
54 | extern void load_history __P((void)); | |
55 | extern void save_history __P((void)); | |
56 | extern int maybe_append_history __P((char *)); | |
57 | extern int maybe_save_shell_history __P((void)); | |
58 | extern char *pre_process_line __P((char *, int, int)); | |
59 | extern void maybe_add_history __P((char *)); | |
60 | extern void bash_add_history __P((char *)); | |
7117c2d2 | 61 | extern int check_add_history __P((char *, int)); |
f73dda09 JA |
62 | extern int history_number __P((void)); |
63 | ||
64 | extern void setup_history_ignore __P((char *)); | |
65 | ||
66 | extern char *last_history_line __P((void)); | |
ccc6cda3 JA |
67 | |
68 | #endif /* _BASHHIST_H_ */ |