[arch-general] mozilla /usr move

[w9ya at qrparci.net]

> On Fri, Feb 08, 2008 at 01:24:49AM -0500, w9ya at qrparci.net wrote:
>>
>> > On Feb 7, 2008 6:40 PM, Petar Bogdanovic <list+2007 at smokva.net>
>> wrote:
>> >>
>> >> On Thu, Feb 07, 2008 at 12:10:19AM +0200, Grigorios Bouzakis wrote:
>> >> > On Thu, Feb 07, 2008 at 08:26:09PM +0100, Jan de Groot wrote:
>> >> > > Hi all,
>> >> > >
>> >> > > I've cleaned up testing a bit:
>> >> > > - moved xulrunner/seamonkey/firefox and friends to extra. This
>> is
>> >> part of the /usr move
>> >> >
>> >> > Any idea why an /opt/mozilla/lib directory is still created by
>> one
>> >> of those packages? It doesnt seem to be part of any of these
>> >> filelists. I wanted to ask this when the packages were still in
>> testing but totally forgot to.
>> >>
>> >> $ sudo pacman -Ql jre | grep /opt/mozilla
>> >> jre /opt/mozilla/
>> >> jre /opt/mozilla/lib/
>> >> jre /opt/mozilla/lib/plugins/
>> >> jre /opt/mozilla/lib/plugins/libjavaplugin_oji.so
>> >>
>> >> Has anybody noticed this?
>> >>
>> >>
>> >
>> > Apparently you have.  ;)  I don't know if any devs have tho - file a
>> bugreport.
>>
>> There is also some "lint(ing)" in the /opt/mozilla hierarchy you might
>> want to  mention in your bug report.
>
> Could you post an example?

Uh, sure thing !:12 09:24 pkgconfig
drwxr-xr-x 2 root root 4096 2008-02-07 21:25 plugins

The pkgconfig was probably NOT

ls -al /opt/mozilla/lib/
total 16
drwxr-xr-x 4 root root 4096 2008-02-07 21:25 .
drwxr-xr-x 3 root root 4096 2008-02-07 21:25 ..
drwxr-xr-x 2 root root 4096 2007-12-12 09:24 pkgconfig
drwxr-xr-x 2 root root 4096 2008-02-07 21:25 plugins

The pkgconfig might NOT have been created by mozilla et al BUT if mozilla
is removed from /opt for /usr , well this remains nonetheless.

Good question by the way.


Very best regards;

Bob Finch


Liviu Librescu - În veci pomenirea lui.
(May his memory be eternal.)