On 6/11/19 10:07 AM, Andreas Schwab wrote:
> On Jun 11 2019, Chet Ramey <[email protected]> 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?
It's ambiguous. `set -o history' has clearly-defined effects and can be
used while the shell is not interactive.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://tiswww.cwru.edu/~chet/
