chiark / gitweb /
bash-completion: get rid of awk, sed and grep