You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Similar to issue #240, we should provide alternatives to GAP's iostream functions, which also are about launching and interacting with child processes.
One way to go about this would be to replace all the kernel functions provided by that module:
Alternatively, we could replace the GAP-level code wrapping these low-level functions; it is completely contained in GAP's lib/streams.gi, see function InputOutputLocalProcess and everything dealing with IsInputOutputStreamByPtyRep.
The text was updated successfully, but these errors were encountered:
Similar to issue #240, we should provide alternatives to GAP's
iostream
functions, which also are about launching and interacting with child processes.One way to go about this would be to replace all the kernel functions provided by that module:
Alternatively, we could replace the GAP-level code wrapping these low-level functions; it is completely contained in GAP's
lib/streams.gi
, see functionInputOutputLocalProcess
and everything dealing withIsInputOutputStreamByPtyRep
.The text was updated successfully, but these errors were encountered: