chiark / gitweb /
container: skip a few things when we are run in a container such as accessing /proc...