please install and enable bash-completion

[code5hot]

bash-completion helps people do their thing a lot. Especially there's good bash-completion for GNU make (I know because I made it good :) so if you rebuild the docker image for my recent issues, please include bash-completion by default.

[code5hot]

#16

[code5hot]

some peculiarities of ghc makefiles means this isn't useful immediately but now its there that can begin to change.

temporary problems:

A) the makefiles run a long ghc job just to build the make database - this is obstructive in general and it shows up as a slow first 'make' completion, subsequent completions are fine, as is the first if make has already been run once

B) the ghc toplevel make has no targets in the database which is suprising because it's pretty useless without them. I haven't figured out yet how the build system decides whether to add targets.

[code5hot]

these problems are normally trivially removable by small Makefile adjustments unless you use Makefiles as a type of script although it's possible that the slow first make requires ghc to be sped up in its search for targets if that's what it's doing.