On Fri, Oct 13, 2023 at 2:22 PM Dale R. Worley <wor...@alum.mit.edu> wrote: > $ bash -version > GNU bash, version 5.1.0(1)-release (x86_64-redhat-linux-gnu)
If I can get 5.1.x installed, I'll try with that; if the behavior is no longer exhibited then it's possible something got wonky between then and 5.2.15. And if the behavior is still there, then it becomes more likely that it's local to us in some way. Either way, more knowledge. Thanks!