chiark / gitweb /
pre-commit: differentiate sh and bash files