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 Liviu Librescu - În veci pomenirea lui. (May his memory be eternal.)