chiark / gitweb /
mount: notify the user if we over-mount a non-empty directory