Add script for bash completion

[rlaboiss]

In the Debian package for praat that I maintain, I currently include a script for bash completion. This script is installed in /usr/share/bash-completion/completions/praat.bash. It allows you to use the [TAB] key, in the command line of the bash shell, to complete the allowed options, as in this example:

$ praat [TAB]
-8               -a               --ansi           --help           --hide-picture
--new-open       --new-send       --no-plugins     --no-pref-files  --open
--pref-dir       --run            --send           --trace          -u
--utf16          --utf8           --version
$ praat -

If you think this would be a useful addition to Praat, I can create a pull request to add the script (I think it would go in the main directory).

[PaulBoersma]

Especially handy with the coming option --completelyTrustTheAuthorsOfTheScriptToControlYourComputer. How and when is this script called precisely? Automatically at bash start-up?

[rlaboiss]

On Debian, this script is put in /usr/share/bash-completion/completions/praat. Bash completion is activated if the user puts the following code in her ~/.bashrc:

# enable bash completion in interactive shells
if ! shopt -oq posix; then
  if [ -f /usr/share/bash-completion/bash_completion ]; then
    . /usr/share/bash-completion/bash_completion
  elif [ -f /etc/bash_completion ]; then
    . /etc/bash_completion
  fi
fi

(N.B.: The code above appears in /etc/bash.bashrc, which is the site-wide initialization file, but it is commented. System admins can enable site-web bash autocompletion by uncommenting the code.)