如何解决安装本地 Idris 库时出现 Nix 权限错误
我安装了 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 找不到 Prelude(正如预期的那样,因为我已经告诉它在别处寻找)。 - 使用
sudo
,但这不仅不起作用(它无法识别idris2
),而且对于库安装来说似乎也是过度杀伤
解决方法
如果我使用自制软件安装 Idris 而不是 Nix,则使用
brew install idris2
效果很好。
,在撰写本文时,Nixpkgs 中不支持 Idris 2 properly。一些讨论和实验工作is going on。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。