FS#11723 - [gri 2.12.18-1] file conflicts in installing /usr/share/info

Attached to Project: Community Packages
Opened by Spartan Roc (spartanroc) - Monday, 13 October 2008, 17:47 GMT
Last edited by Stefan Husmann (stefanhusmann) - Sunday, 26 October 2008, 19:00 GMT
Task Type Bug Report
Category
Status Closed
Assigned To dtw (dibblethewrecker)
Stefan Husmann (stefanhusmann)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

/usr/share/info is not installed properly and /usr/share/info/dir should be deleted.
The attached files PKGBUILD.patch and gri.install should get it work.


Additional info:
* package version(s)
gri 2.12.18-1
* config and/or log files etc.


Steps to reproduce:
pacman -S gri
   PKGBUILD.patch (0.7 KiB)
   gri.install (0.4 KiB)
This task depends upon

Closed by  Stefan Husmann (stefanhusmann)
Sunday, 26 October 2008, 19:00 GMT
Reason for closing:  Implemented
Comment by Stefan Husmann (stefanhusmann) - Saturday, 25 October 2008, 00:14 GMT
I think the long list of info files in the install file is not needed, gri.info should be enough. Also info can handle files compressed with gzip imho, so there is no need to uncompress them explicitely.
Comment by Stefan Husmann (stefanhusmann) - Sunday, 26 October 2008, 18:24 GMT
Okay, I will upload fixed packages soon.
Comment by Stefan Husmann (stefanhusmann) - Sunday, 26 October 2008, 18:59 GMT
The packages are uploaded.

Loading...