commit bash-20150807 snapshot

2026-08-04 09:12:27 +02:00 · 2015-08-11 16:41:53 -04:00
parent d54a780601
commit e9eee9d4b0
29 changed files with 317 additions and 73 deletions
@@ -316,6 +316,7 @@ bash_clear_history ()
 {
  clear_history ();
  history_lines_this_session = 0;
+  /* XXX - reset history_lines_read_from_file? */
 }

 /* Delete and free the history list entry at offset I. */