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 100%
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
Comment by Andreas (Evilandi666) - Sunday, 11 December 2011, 01:59 GMT
forgot to say, the posted text is in jre7-openjdk.install
Comment by Guillaume ALAUX (galaux) - Monday, 12 December 2011, 08:27 GMT
Will add this with the next rebuild for libcups dependency #27499

Loading...