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
>