On Thu, Apr 7, 2022 at 5:13 PM Douglas McIlroy <douglas.mcilroy@dartmouth.edu> wrote:
How would you wish to interact with
        /bin/bash >file

I am not sure. I could see the argument either way right now.
 

On Thu, Apr 7, 2022 at 5:13 PM Douglas McIlroy <douglas.mcilroy@dartmouth.edu> wrote:
How would you wish to interact with
        /bin/bash >file

Doug