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."
