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

john hood cgull at glup.org
Sun Jun 28 14:54:32 EDT 2015


On 6/28/15 2:35 PM, Anders Kaseorg wrote:
> On Sun, 28 Jun 2015, C.v.St. wrote:
>> I just run the "configure/make install" to test and added --prefix=$HOME 
>> assuming it would need nothing more to restrict it, to only be in my own 
>> $HOME.
>>
>> Too late I see, that "--enable-completion" does not follow the prefix 
>> and can not be installed this way.
>>
>> Is there a way to fix this 'inside the git repo' by the standard 
>> mechanisms, or could you create a warning and leave 'completion' 
>> disabled on the non-standard paths?
> 
> You asked for --enable-completion (it defaults to disabled), so mosh 
> installs its completion file to the directory it knows bash-completion 
> 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.

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.

regards,

  --jh





More information about the mosh-devel mailing list