On Fri, Feb 08, 2008 at 01:24:49AM -0500, w9ya@qrparci.net wrote:
On Feb 7, 2008 6:40 PM, Petar Bogdanovic <list+2007@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
UG... !! How did that weirdo cut and paste happen ? Um, here it is again, hopefully properly formatted; 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 -Bob Finch