chiark / gitweb /
allow logging of all output from executed tools