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

[Anders Kaseorg]

On Sun, 28 Jun 2015, john hood wrote:
> And on some systems, $prefix is /usr/local and everything *does* end up
> in $prefix and *must* be that way.  Not all the world is Linux.  See the
> commit.

If bash-completion really is in /usr/local, then its pkgconfig file should 
already indicate that, no?

Anders