我可以说服 stack / ghci *只* 加载本地 .ghci 文件吗?
Can I persuade stack / ghci to *only* load the local .ghci file?
我的本地项目目录中有一个 .ghci
,另一个在我的 $HOME
中。当我执行 stack ghci
时,首先加载 $HOME/.ghci
,然后是 $PWD/.ghci
。是否可以只加载本地的 .ghci 而忽略全局的?
我可以做一个 stack exec -- ghci -ignore-dot-ghci
,但是 none 被加载了。
我也试过的是:
stack exec -- ghci -ignore-dot-ghci -W .ghci
想法是先告诉 ghci 不要加载任何东西,然后显式请求本地 .ghci 文件,但这会给出错误消息 警告:忽略无法识别的输入 `.ghci'
GHCi 有 a -ghci-script
flag 可以与 -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"
我的本地项目目录中有一个 .ghci
,另一个在我的 $HOME
中。当我执行 stack ghci
时,首先加载 $HOME/.ghci
,然后是 $PWD/.ghci
。是否可以只加载本地的 .ghci 而忽略全局的?
我可以做一个 stack exec -- ghci -ignore-dot-ghci
,但是 none 被加载了。
我也试过的是:
stack exec -- ghci -ignore-dot-ghci -W .ghci
想法是先告诉 ghci 不要加载任何东西,然后显式请求本地 .ghci 文件,但这会给出错误消息 警告:忽略无法识别的输入 `.ghci'
GHCi 有 a -ghci-script
flag 可以与 -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"