gpt4 book ai didi

haskell - 通过堆栈 docker 集成运行 emacs intero-mode

转载 作者:行者123 更新时间:2023-12-02 17:33:29 24 4
gpt4 key购买 nike

我正在尝试在启用了 docker 集成的堆栈项目中使用 intero-mode。因此它的 stack.yml 包含:

docker:
enable: true
image: my-project/build:lts-11.9

尽管如此,当我打开项目中的任何 .hs 文件时,intero-mode 会尝试安装 intero 可执行文件并失败。在消息缓冲区中报告:

Installed successfully! Starting Intero in a moment ...
Booting up intero ...
Problem with Intero!
Reading Haskell configuration failed with exit code 1 and output:
get-cabal-configuration.hs: /home/jesuspc/.nix-profile/bin/hpack: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)

我得到了 intero 模式的错误屏幕:

...
The process ended. Here is the reason that Emacs gives us:

exited abnormally with code 1

For troubleshooting purposes, here are the arguments used to launch intero:

stack ghci --with-ghc /home/jesuspc/.stack/compiler-tools/x86_64-linux-dke094d5208e8a802cb369cecdad3049ae/ghc-8.2.2/bin/intero "--docker-run-args=--interactive=true --tty=false" --no-build --no-load --ghci-options -ignore-dot-ghci my-project
...

当我运行该行时,我得到:

Did not find executable at specified path: /home/jesuspc/.stack/compiler-tools/x86_64-linux-dke094d5208e8a802cb369cecdad3049ae/ghc-8.2.2/bin/intero

这可能与 nix 有关,因为我发现通过运行来代替:

stack ghci --with-ghc /home/jesuspc/.stack/compiler-tools/x86_64-linux-nix/ghc-8.2.2/bin/intero "--docker-run-args=--interactive=true --tty=false" --no-build --no-load --ghci-options -ignore-dot-ghci my-project

我收到一个不同的错误:

/home/jesuspc/.stack/compiler-tools/x86_64-linux-nix/ghc-8.2.2/bin/intero: createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)

我相信可能会抛出此错误,因为我的项目使用外部库并且找不到它们,但这只是一个猜测。

intero-mode 是否知道 stack-docker 集成?它似乎试图在我的本地计算机中使用 intero 可执行文件,而不是使用 docker 上下文,其中存在所有必需的库。我该如何修复它?

最佳答案

我昨天也遇到这个问题了。看起来问题出在函数 intero-copy-compiler-tool-auto-install 中它不考虑您的 stack.yaml 文件,因此不会将 intero 构建到 docker 容器中。我发现的一个 super hacky 解决方法是运行

stack --docker build --copy-compiler-tool intero

来自您的项目。

关于haskell - 通过堆栈 docker 集成运行 emacs intero-mode,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51725510/

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