FS#27529 : [jre7-openjdk] /etc/profile.d/jre7.sh should be jre.sh

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!

FS#27529 - [jre7-openjdk] /etc/profile.d/jre7.sh should be jre.sh

Attached to Project: Arch Linux
Opened by Andreas (Evilandi666) - Sunday, 11 December 2011, 01:59 GMT
Last edited by Andreas Radke (AndyRTR) - Friday, 16 December 2011, 14:42 GMT

Task Type	Bug Report
Category	Packages: Extra
Status	Closed
Assigned To	Andreas Radke (AndyRTR) Guillaume ALAUX (galaux)
Architecture	All
Severity	Low
Priority	Normal
Reported Version
Due in Version	Undecided
Due Date	Undecided
Percent Complete
Votes	0
Private	No

Details

Description:
echo "when you use a non-reparenting window manager" echo "set _JAVA_AWT_WM_NONREPARENTING=1 in" echo "/etc/profile.d/jre7.sh"

should be /etc/profile.d/jre.sh
Additional info:
- only a cosmetic bug

This task depends upon

Closed by Andreas Radke (AndyRTR)
Friday, 16 December 2011, 14:42 GMT
Reason for closing: Fixed