FS#9498 - extra/jre should no longer own files under /opt/mozilla

Attached to Project: Arch Linux
Opened by Petar Bogdanovic (pebo) - Friday, 08 February 2008, 12:08 GMT
Last edited by Roman Kyrylych (Romashka) - Monday, 11 February 2008, 08:38 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Jason Chu (jason)
Architecture All
Severity Medium
Priority Normal
Reported Version 2007.08-2
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No


Since firefox moved to /usr, a new jre-package should be built.

$ 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
This task depends upon

Closed by  Roman Kyrylych (Romashka)
Monday, 11 February 2008, 08:38 GMT
Reason for closing:  Duplicate
Additional comments about closing:   FS#9304 
Comment by Anonymous Submitter - Friday, 08 February 2008, 16:40 GMT
Also there is some "lint" left in the /opt/mozilla hierarchy.
Comment by sinister99 (sinister99) - Monday, 11 February 2008, 02:46 GMT
Duplicate of  bug 9304