mirror of
https://https.git.savannah.gnu.org/git/bash.git
synced 2026-10-17 01:05:12 +02:00
documentation updates for history builtin to note it does not truncate the history file; documentation updates for HISTFILESIZE noting that it can work on lines or history entries depending on $HISTTIMEFORMAT; documentation update for history saving behavior at shell exit; history -w and history -a should update the number of history entries in the current session if they are using $HISTFILE; history -r now updates the number of history entries in the current session; improvement to history_truncate_file so it leaves fewer partial history entries when operating on lines
This commit is contained in:
+1
-1
@@ -75,7 +75,7 @@ extern int bash_delete_last_history (void);
|
||||
extern void load_history (void);
|
||||
extern void save_history (void);
|
||||
extern char *bash_default_histfile (void);
|
||||
extern int maybe_append_history (char *);
|
||||
extern int maybe_append_history (char *, int);
|
||||
extern int maybe_save_shell_history (void);
|
||||
extern char *pre_process_line (char *, int, int);
|
||||
extern void maybe_add_history (char *);
|
||||
|
||||
Reference in New Issue
Block a user