Bug with `magma-comint-int` and `magma-comint-kill`
Closed this issue · 1 comments
ThibautVerron commented
magma-comint-kill
and magma-comint-int
both fail with Text is read-only
if the magma process is hanging. That makes these commands fairly useless at the moment.
ThibautVerron commented
Commit 6067cae