我可以说服堆栈/ ghci*仅*加载本地.ghci文件吗?



我的本地项目目录中有一个.ghci,在我的$HOME中还有一个。当我执行stack ghci时,首先加载$HOME/.ghci,然后加载$PWD/.ghci。是否可以只加载本地 .ghci,而忽略全局 .ghci?

我可以做一个stack exec -- ghci -ignore-dot-ghci,但是,没有加载任何内容。

我还尝试了:

stack exec -- ghci -ignore-dot-ghci -W .ghci

这个想法是首先告诉ghci不要加载任何东西,然后显式请求本地.ghci文件,但这会产生错误消息警告:忽略无法识别的输入".ghci">

GHCi 有一个-ghci-script标志,可以与-ignore-dot-ghci一起使用。它可以与stack ghci一起使用--ghci-options

stack ghci --ghci-options "-ignore-dot-ghci -ghci-script .ghci"

为了完整起见,以下是相应的cabal repl调用:

cabal repl --repl-options "-ignore-dot-ghci" --repl-options "-ghci-script .ghci"

最新更新