On 27 April 2018 at 19:18, akgrant43 <notifications@github.com> wrote:
While it is a workaround, I'm not sure that asking users to modify the terminal settings and remember to use Ctrl-Z instead of Ctrl-D for Pharo in bash is going to be practical.

What do you think?

Probably not.  It just helps characterize the problem better.

cheers -ben