我在本地项目目录中有一个.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‘
发布于 2020-05-10 13:45:46
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"https://stackoverflow.com/questions/61712539
复制相似问题