> On Fri, Feb 08, 2008 at 01:24:49AM -0500, w9ya@xxxxxxxxxxx wrote: >> >> > On Feb 7, 2008 6:40 PM, Petar Bogdanovic <list+2007@xxxxxxxxxx> >> 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.)
