chiark / gitweb /
shutdown: initialize the controlling terminal