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
--
devel mailing list
devel@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/devel
Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
