FS#58922 - [idris] Documentation installed w/ 600 permissions

Attached to Project: Community Packages
Opened by Brad Ackerman (backerman) - Friday, 08 June 2018, 01:08 GMT
Last edited by freswa (frederik) - Sunday, 27 September 2020, 11:56 GMT
Task Type Bug Report
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

Description:

The documentation is installed with 600 permissions instead of 644.

Additional info:
* Package idris-1.3.0-10

Steps to reproduce:

1. Install package.
2. Attempt to read /usr/share/idris/docs/base/index.html as a nonprivileged user.
3. Observe that this action fails.
This task depends upon

Closed by  freswa (frederik)
Sunday, 27 September 2020, 11:56 GMT
Reason for closing:  Fixed
Additional comments about closing:  idris 1.3.1-1
Comment by loqs (loqs) - Saturday, 12 September 2020, 14:02 GMT
Fixed in idris 1.3.1-1.

idris 1.3.0-77 still had the 600 permissions. [1]
idris 1.3.1-1 had 644 permissions. [2]

[1] https://archive.org/download/archlinux_pkg_idris/idris-1.3.0-77-x86_64.pkg.tar.xz
[2] https://archive.org/download/archlinux_pkg_idris/idris-1.3.1-1-x86_64.pkg.tar.xz

Loading...