-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hello,
I've just submitted a review request[1] for Nix[2], a purely
functional package manager.
Nix uses the /nix directory by default for essential operations -- its
package store, for instance, is located at /nix/store by default, and
it's local state in /nix/var.
These can be overridden at compile time, however, doing so makes it
impossible to use pre-built binaries[3] provided in Nix channels
(repositories).
As such, it seems that this is a justifiable case for creating a new
directory under root -- cf. the introduction of /run, as documented
in Fedora 15's release notes[4]:
This change is compliant with the Filesystem Hierarchy Standard,
which allows distributions to create new directories in the root
hierarchy as long as there is careful consideration of the
consequences.
I posit that compatibility with a vast amount of pre-built binaries,
and the reduced usefulness of the tool without this compatibility
(anyone who has used MacPorts, with its lack of pre-built binaries,
would sympathize).
Should I create an FPC ticket for this?
[1]:
https://bugzilla.redhat.com/show_bug.cgi?id=827289
[2]:
http://nixos.org/nix/
[3]:
http://hydra.nixos.org/build/2657151/download/1/manual/#id523917
[4]:
http://docs.fedoraproject.org/en-US/Fedora/15/html/Release_Notes/sect-Rel...
Thanks in advance,
- --
Michel Alexandre Salim
Fedora Project Contributor:
http://fedoraproject.org/
Email: salimma(a)fedoraproject.org | GPG key ID: A36A937A
Jabber: hircus(a)jabber.ccc.de | IRC: hircus(a)irc.freenode.net
() ascii ribbon campaign - against html e-mail
/\
www.asciiribbon.org - against proprietary attachments
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla -
http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJPyZIKAAoJEEr1VKujapN6Am8H/3YjBVTOC50uTwX+sUgfHcaq
nofCNitD29Dz8/y1Zt+1/Y9aWPTl64Mx9Cwgug8pcv5zJCiXU6nMlWQ+4OsHdVb4
XSyOHR1gwtnh+tfV46y3wG4NYwjm0x2+7Ti+55mrmEpOT5FSGHVb3AHamBb91s9s
2JNb2LxSPDAZc9l9G4Qe+wRwUvoGKFtjOnTi91bC6OzYq7qvAbCwQHPGKSjZt3EH
jAU0xAHIp/OeHudJLohDAdU8Ma8r9XQVKIGOrtw80DvpPtAIHPvPdjNebLOSMpwg
XspMl68Fgy3CY/fcSAdtRBZKlN+8UGEoCYsgFz1LZBs5lNytUyF/KfliPKllA+Y=
=oI1K
-----END PGP SIGNATURE-----