Oh and btw:

Maybe it's time to generally enable bash-completion per default (i.e.
system-wide in /etc/bash.bashrc)?

/etc/profile.d/bash_completion.sh provides a nice way for anyone who
doesn't want completions to disable it, quoting from the README:

>The `profile.d` script provides a configuration file hook that can be
>used to prevent loading `bash_completion` on per user basis when it's
>installed system wide. To do this:
>
>1. Turn off programmable completion with `shopt -u progcomp` in
>   `$XDG_CONFIG_HOME/bash_completion` (or `~/.config/bash_completion`
>   if `$XDG_CONFIG_HOME` is not set)
>2. Turn it back on (for example in `~/.bashrc`) if you want to use
>   programmable completion for other purposes.

Reply via email to