chiark / gitweb /
bash-completion: use printf instead of echo