section of .bashrc file for bash completion