On Jun 11 2019, Chet Ramey <chet.ra...@case.edu> wrote:

> Maybe. But the user-visible option that says whether or not to save
> commands in the history is decoupled from the internal set of flags that
> control it. The option should remain visibly on unless the user turns it
> off, even if saving commands in the history is temporarily suppressed. The
> thing is that enabling history with `set -o history' turns all of these
> things on.

But should the effect of `set -o history' be deferred until the end of
the temporary suppression?

Andreas.

-- 
Andreas Schwab, SUSE Labs, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."

Reply via email to