dunno about historically, but nowadays it generally used for stuff that isn't installed by the packaging system - e.g. on my debian machine if i apt-get install jackit, the files get put in /usr/lib and /usr/bin but if i check out the cvs source, i'll build it with destdir=/usr/local so stuff gets put in /usr/local/lib and /usr/local/bin and doesnt futz with my packaging systems world-view...
Rob > -----Original Message----- > From: [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] Behalf Of Benjamin > Flaming > Sent: 28 November 2003 18:26 > To: The Linux Audio Developers' Mailing List > Subject: Re: [linux-audio-dev] Tracker > > > On Friday 28 November 2003 11:54 am, David Olofson wrote: > > On Friday 28 November 2003 15.07, Stonekeeper wrote: > > [...] > > > However, I think the proper solution is to install things so that you > > never have dependencies in the wrong direction. It makes some sense > > that libs in /usr shouldn't depend on /usr/local. > > For the benefit of Linux newcomers like me, could someone explain the > historical reasons why we even have a /usr/local directory to begin with? > > |) > |)enji >
