chiark / gitweb /
Fix use of bashisms. well, "fix".