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

[john hood]

On 6/28/15 3:06 PM, Anders Kaseorg wrote:
> 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
> 

Sloppy terminology, sorry.

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.

regards,

  --jh