gpt4 book ai didi

ubuntu - 使用 WSL (UBUNTU) 在 Windows 10 上安装 OCAML。 bwrap 的问题 (BubbleWrap)

转载 作者:行者123 更新时间:2023-12-04 18:25:35 25 4
gpt4 key购买 nike

我是 Linux 和 OCAML 的新手。我认为让 OCaml 在 Windows 上运行并非易事。我找到了这个链接:

https://www.cs.umd.edu/class/spring2018/cmsc330/ocamlInstallationGuide.pdf#page=14&zoom=100,0,96

但是,我怀疑这是一些过时的东西,因为他们提到 4.04 是最新的 OCaml 版本,目前有 4.07。我进一步怀疑 OCaml 现在需要 bwrap这就是我的问题和疑问的根源。

我强调我只想让 OCaml 在 Windows 上运行。如果有比使用 WSL(Linux 的 Windows 子系统)更简单的方法,我会很乐意这样做。

使用以下命令创建开关时:

opam switch create ocaml-base-compiler.4.07.0,

我收到以下错误:

bwrap: Creating new namespace failed, likely because the kernel does not support user namespaces. bwrap must be installed setuid on such systems.



我收集我需要 bwrap 并尝试了各种命令,例如:
wget https://mirrors.edge.kernel.org/ubuntu/pool/main/b/bubblewrap/bubblewrap_0.3.1-2_amd64.deb

其次是:
sudo dpkg -i bubblewrap_0.3.1-2_amd64.deb

安装似乎很顺利,但我仍然收到错误消息。我必须承认我不知道 bwrap must be installed setuid on such systems方法。

1)我应该如何安装bwrap?

本站:

https://github.com/projectatomic/bubblewrap/issues/139

似乎表明在 Windows 期间可能无法让 bwrap 工作:
“Flatpak 和 bubblewrap 需要 Linux。WSL 不是 Linux,它是伪装成 Linux 的 Windows,它没有现代 Linux 内核的完整功能集。据我所知,它没有实现命名空间,所以你倒霉了。”

2) 我可以使用 WSL 在 Windows 上启动并运行 OCaml,还是有更好的方法?

最后,我不喜欢 Ubuntu。如果有更好/更容易的发行版与 WSL 一起使用以安装 OCAML,我可以毫无问题地进行更改!

谢谢,
戴夫

最佳答案

这是我为使工作正常所做的工作。基于此评论:

“我认为,我可以通过删除 ~/.opam/config 并使用 opam init --disable-sandboxing 来解决这个问题,但这有点不及理想的用户体验。”

https://github.com/ocaml/opam/issues/3505

这个指令:

“确实,WSL 不支持 bwrap(参见此问题)。
为了能够在您的情况下使用 opam,您可以使用 --disable-sandboxing 选项禁用沙盒(谨慎使用)以进行新的 opam 初始化或通过 opamrc。对于已初始化的 opam,您不能使用此选项,而是通过删除/empty wrap-*-commandfields 直接在配置文件中更改配置。
有关详细信息,请参阅此常见问题解答条目。
我在这里重复警告:“明智地使用 [sanbdoxing disable option],运行 rm -rf/的损坏的 Makefile 确实会发生。”

从:

https://opam.ocaml.org/doc/FAQ.html#Why-does-opam-require-bwrap

我清除了 .opam 目录并做了一个

opam init --disable-sandboxing

在这样做之前,我做了一个:

rm -r .opam

我将再次提到所有关于关闭沙盒危险的警告(请参阅链接)。

我现在正在使用 OCaml 4.07.0 !!!

希望这可以帮助某人

关于ubuntu - 使用 WSL (UBUNTU) 在 Windows 10 上安装 OCAML。 bwrap 的问题 (BubbleWrap),我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54987110/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com