commit bash-20200501 snapshot

2026-06-30 00:49:57 +02:00 · 2020-05-04 10:28:06 -04:00
parent c6c7ae81bb
commit e33aa28191
10 changed files with 100 additions and 28 deletions
@@ -1269,6 +1269,7 @@ maybe_make_restricted (name)
      set_var_read_only ("SHELL");
      set_var_read_only ("ENV");
      set_var_read_only ("BASH_ENV");
+      set_var_read_only ("HISTFILE");
      restricted = 1;
    }
  return (restricted);