$HOME/.local/bin in $PATH

Ralf Corsepius rc040203 at freenet.de
Wed Oct 30 14:50:17 UTC 2013


On 10/30/2013 03:36 PM, Reindl Harald wrote:
>
> Am 30.10.2013 15:29, schrieb Ralf Corsepius:
>> On 10/30/2013 01:08 PM, Reindl Harald wrote:
>> Besides that, what and where users put things underneath of $HOME is not a distro's busness
> and so it is not a distro's business to add something to $PATH
> inside the userhome
Yes, I agree to this. Automatically adding $HOME/.local/bin to $PATH is 
a bad idea.

>   and finally you agreed what i said by try
> to disagree
Well your view of "users must not add binaries" underneath of $HOME is 
non-sense. Actually it's the only way for ordinary users to install 
per-user installed SW.

Ralf



More information about the devel mailing list