chiark / gitweb /
chpwd, operation.py: Logging for operations.