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

[Anders Kaseorg]

On Sun, 28 Jun 2015, john hood wrote:
> All true, but...given that it's a bad idea for a build to write outside 
> its assigned destination directory, I've fixed this anyway.  Coming soon 
> to a repo near you.

$prefix is different from $DESTDIR.  I'm still not sure how you can expect 
to avoid writing outside $prefix, given that /usr/share is outside 
/usr/local and /etc is outside /usr.

Anders