commit bash-20120406 snapshot

2026-08-07 02:32:27 +02:00 · 2012-05-02 08:22:31 -04:00
parent 1bb5d5c699
commit ed3f3b6c22
41 changed files with 49724 additions and 3105 deletions
@@ -917,7 +917,7 @@ exit_shell (s)
 #endif /* PROCESS_SUBSTITUTION */

 #if defined (HISTORY)
-  if (interactive_shell)
+  if (remember_on_history)
    maybe_save_shell_history ();
 #endif /* HISTORY */