<p><br>
On Sep 16, 2013 4:55 AM, "H. S. Teoh" <<a href="mailto:hsteoh@quickfur.ath.cx">hsteoh@quickfur.ath.cx</a>> wrote:<br>
><br>
> On Sun, Sep 15, 2013 at 06:59:24PM -0700, Jonathan M Davis wrote:<br>
> > On Sunday, September 15, 2013 18:53:58 H. S. Teoh wrote:<br>
> > > On Sun, Sep 15, 2013 at 07:14:17PM +0200, Dicebot wrote:<br>
> > > > On Saturday, 14 September 2013 at 10:32:26 UTC, Nick Sabalausky<br>
> > > > wrote:<br>
> > > > >My understanding (purely from the link below) was that<br>
> > > > >/usr/local/* was *specifically* for non-package-managered stuff,<br>
> > > > >whereas /usr/* was *specifically* for package-managered things:<br>
> > > > ><br>
> > > > ><a href="http://unix.stackexchange.com/questions/8656/usr-bin-vs-usr-local-bin-on-">http://unix.stackexchange.com/questions/8656/usr-bin-vs-usr-local-bin-on-</a>> > >linux><br>
> > > > Not entirely true. You should never have anything not managed by<br>
> > > > package manager on Linux system, it is a reliable road to<br>
> > > > disaster.  Better distinction is "/usr/" for packages from<br>
> > > > official repos, "/usr/local" for own custom packages.<br>
> > ><br>
> > > Seriously? I installed unmanaged stuff all the time, and never had<br>
> > > much of an issue. Though, granted, I never put them under /usr or<br>
> > > /usr/local at all. It's usually in a dedicated subdirectory under<br>
> > > $HOME.<br>
> > ><br>
> > > Installing unmanaged stuff under the /usr tree is tricky business,<br>
> > > because when you're trying to *uninstall*, you usually don't<br>
> > > remember where all the bits have been scattered, and leaving them<br>
> > > lying around can lead to trouble.<br>
> ><br>
> > Which is exactly why you shouldn't do it normally. If fact, I would<br>
> > argue that you should pretty much _never_ install stuff not managed by<br>
> > the package manager in /usr. /usr/local is a different matter, because<br>
> > it's not usually managed by the package manager, but you still have to<br>
> > be very careful with it. Putting unmanaged stuff in dedicated<br>
> > subdirectories in $HOME is definitely a better approach.<br>
> [...]<br>
><br>
> For unmanaged stuff, I usually prefer to put each application in their<br>
> own filesystem subtree, like /usr/src/${appname}/root (which is also<br>
> just next to where I usually build the source to begin with), instead of<br>
> mixing everything together like in /usr or /usr/local. That way, if<br>
> something misbehaves, I can just use `rm -rf` to kill it off without<br>
> needing to dig through /usr/local/bin, /usr/local/share/man/man*,<br>
> /usr/local/lib, /usr/local/share, and who knows where else to find all<br>
> the bits to clean up.<br>
></p>
<p>For some reason I use /opt/usr or /opt/${appname} </p>
<p>Regards<br>
-- <br>
Iain Buclaw</p>
<p>*(p < e ? p++ : p) = (c & 0x0f) + '0';<br>
</p>