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
As first discussed in #22658 comment 14 and later,
getting rid of terminal echo using stty -echo (and adjusting the interface to work even if there's no echo...) could make the polymake interface more efficient and more robust.
As first discussed in #22658 comment 14 and later,
getting rid of terminal echo using
stty -echo
(and adjusting the interface to work even if there's no echo...) could make the polymake interface more efficient and more robust.CC: @simon-king-jena
Component: interfaces: optional
Issue created by migration from https://trac.sagemath.org/ticket/22721
The text was updated successfully, but these errors were encountered: