安装本地Idris库时出现Nix权限错误

Question

我安装了Idris2 v0.4.0

$ nix-env -i idris2

效果很好。我可以启动REPL并键入检查我的程序，但我在安装本地Idris库时遇到了困难。我得到了

$ idris2 --install foo.ipkg
...
Uncaught error: INTERNAL ERROR: Can't make directory /nix/store/...-idris2-0.4.0/idris2-0.4.0/foo-0.0.1
Permission Denied

我认为这是因为Idris没有安装到/nix的权限。

我试过的

• 将IDRIS2_PREFIX设置为本地，但是Idris无法找到前奏(正如预期的那样，因为我已经告诉它去别处查找)。
• 使用sudo，但这不仅不起作用(它不承认idris2)，而且对于库安装来说似乎也是太过分了

Answer 1

在编写时，Nixpkgs中不支持Idris 2。正在进行中的一些讨论和实验工作。

Answer 2

如果我用自制软件安装Idris而不是Nix，

brew install idris2

效果很好。