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