我的本地项目目录中有一个.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"