diff options
Diffstat (limited to 'bashhist.h')
| -rw-r--r-- | bashhist.h | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/bashhist.h b/bashhist.h new file mode 100644 index 0000000..c1c24fc --- /dev/null +++ b/bashhist.h @@ -0,0 +1,42 @@ +/* bashhist.h -- interface to the bash history functions in bashhist.c. */ + +/* Copyright (C) 1993 Free Software Foundation, Inc. + + This file is part of GNU Bash, the Bourne Again SHell. + + Bash is free software; you can redistribute it and/or modify it under + the terms of the GNU General Public License as published by the Free + Software Foundation; either version 2, or (at your option) any later + version. + + Bash is distributed in the hope that it will be useful, but WITHOUT ANY + WARRANTY; without even the implied warranty of MERCHANTABILITY or + FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License + for more details. + + You should have received a copy of the GNU General Public License along + with Bash; see the file COPYING. If not, write to the Free Software + Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ + +#if !defined (__BASHHIST_H__) +#define __BASHHIST_H__ + +extern int remember_on_history; +extern int history_lines_this_session; +extern int history_lines_in_file; +extern int history_expansion; +extern int history_control; +extern int command_oriented_history; + +# if defined (BANG_HISTORY) +extern int history_expansion_inhibited; +# endif /* BANG_HISTORY */ + +extern void load_history (); +extern void save_history (); +extern int maybe_save_shell_history (); +extern char *pre_process_line (); +extern int history_number (); +extern void maybe_add_history (); + +#endif /* __BASHHIST_H__ */ |