Closed rwst closed 9 years ago
I think this is because you're running a patchbot without a controlling terminal.
http://www.linuxquestions.org/questions/linux-general-1/dev-tty-no-such-device-or-address-469400/
ticket http://trac.sagemath.org/ticket/16493 has been fixed.
Because I cannot reproduce it outside of patchbot, I'll put it here, as long as the actual cause is unknown.
Of course
/dev/tty
exists and is readable in the cloud.