programmable completion for the bash shell