使用stack时编辑“.ghci”文件的方法

4

我开始使用Stack,但是找不到要编辑的.ghci文件(我想包含:set -XOverloadedStrings和:set prompt“ghci>”)。

查找.ghci文件时,我使用了以下方法-

$ find -name ".ghci"
$

没有返回任何搜索结果。我查看了Stack文档,但找不到有关编辑.ghci文件的信息。是否可以将:set -XOverloadedStrings:set prompt "ghci> "保存在某个地方?


1
它应该在$HOME/.ghc/ghci.conf$HOME/.ghci中。如果两者都不存在,您可以自己创建... - Arnon
1
谢谢,它完成了工作。我创建了一个.ghci文件,并需要执行chmod 644 /home/myUserName/.ghci才能使其正常工作。 - Michael T
@Arnon,你能把那个发表为答案吗? - Sibi
2个回答

3

这个文件应该要么在$HOME/.ghc/ghci.conf中,要么在$HOME/.ghci中。如果两者都不存在,你可以自己创建...


2
这是详细信息:GHC用户指南 - .ghci和.haskeline文件 当GHCi启动时,除非给出-ignore-dot-ghci标志,否则会按照以下顺序从下列文件中读取和执行命令(如果存在):
1. ./ .ghci 2. appdata/ghc/ghci.conf,其中⟨appdata⟩取决于您的系统,但通常类似于C:/Documents and Settings/user/Application Data。 3. 在Unix上:$HOME/.ghc/ghci.conf 4. $HOME/.ghci
ghci.conf文件最有用的是用来打开喜欢的选项(例如:set +s),以及定义有用的宏。

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接