chiark / gitweb /
manager: support systems lacking /dev/tty0