对 "ghci" 和 "stack ghci" 使用不同的配置
Use different configuration for "ghci" and "stack ghci"
我经常使用 ghci
进行少量计算,使用 stack ghci
进行实际项目。
为了让第一个更容易,我写了一个 .ghci
文件,里面有很多导入的模块,但是其中一些模块不存在于我的堆栈项目中,我遇到了严重的错误。
目前我使用的是别名stackghci="stack ghci --ghci-options -ignore-dot-ghci"
,但之后又出现了默认提示等等..
有没有办法指定两个 .ghci
文件;一个用于堆栈,一个用于 ghci
?
ghci 支持 --ghci-script
标志来指定在启动时读取的额外脚本。
--ghci-script
的文档:(link)
我经常使用 ghci
进行少量计算,使用 stack ghci
进行实际项目。
为了让第一个更容易,我写了一个 .ghci
文件,里面有很多导入的模块,但是其中一些模块不存在于我的堆栈项目中,我遇到了严重的错误。
目前我使用的是别名stackghci="stack ghci --ghci-options -ignore-dot-ghci"
,但之后又出现了默认提示等等..
有没有办法指定两个 .ghci
文件;一个用于堆栈,一个用于 ghci
?
ghci 支持 --ghci-script
标志来指定在启动时读取的额外脚本。
--ghci-script
的文档:(link)