On 4/11/19 4:41 PM, Benjamin Barenblat wrote:
> Bash Version: 5.0
> Patch Level: 3
> Release Status: maint
>
> Description:
> Silence pushd/popd output if executed with -q. This could also be
> achieved by executing them with 2>/dev/null, but -q avoids the
> extra open(2).
Thanks for the suggestion. I'll consider it for the next version.
Is the extra open a sufficient expense of resources to add this option?
I know you say so above, but are resources scarce enough to make that a
concern?
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
