library docs are installed with permission with 0600

[juhp]

Steps to Reproduce

Do a standard install of idris on Linux.

Expected Behavior

Library documentation files installed with permission 0644.

Observed Behavior

Library documentation files are installed with permission 0600.

[juhp]

Just to be a bit more explicit, here is some rpmlint output:

E: zero-length /usr/share/idris-1.3.0/docs/base/IdrisDoc
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Arrow.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Catchable.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.IOExcept.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Isomorphism.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Monad.Identity.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Monad.RWS.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Monad.Reader.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Monad.State.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Control.Monad.Writer.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.Bits.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.Buffer.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.Complex.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.Erased.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.Fin.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.HVect.html 600
E: non-readable /usr/share/idris-1.3.0/docs/base/docs/Data.IORef.html 600
:
:

[melted]

Thanks for the report!

[melted]

I see the problem, the doc files are created as temp files and then moved into the right place. And temp files only have permissions for the current user set. Let's try openTempFileWithDefaultPermissions instead.