chiark / gitweb /
umount: don't try to umount /dev/console, since we are using it