chiark / gitweb /
shell-completion: replace printf with echo