[mosh-devel] --prefix of bash-completion? (wishlist?) Mosh 1.2.5 release candidate 2

[C.v.St.]

On 28.06.2015 20:35, Anders Kaseorg wrote:
...
> will read it from, via `pkg-config --variable=completionsdir 
> bash-completion` (on my system, /usr/share/bash-completion/completions).  
> If the completion file were installed to your home directory, it would not 
> be used.  In fact, keeping in mind that the default prefix is /usr/local, 
> if mosh tried to follow the prefix, it would almost never find the right 
> directory.

Thank, I already feared it might be so; so is there either a chance
for  a warning (and then ignoring completion) or a way to override
the above default directory from the build or configure?

Thanks,  Stucki