使用堆栈编辑“.ghci”文件

2015-11-03 52 views 3 likes

我已经开始使用堆栈，并且找不到要编辑的.ghci文件（我希望包含:set -XOverloadedStrings和:set prompt "ghci> "）。使用堆栈编辑“.ghci”文件

要搜索.ghci文件我used-

$ find -name ".ghci" 
$

这并不返回任何搜索结果。我看了堆栈文档，找不到有关编辑.ghci文件的信息。是否可以在某处保存:set -XOverloadedStrings和:set prompt "ghci> "？

来源

2015-11-03 Michael T

它应该在$ HOME/.ghc/ghci.conf或$ HOME/.ghci中。如果两者都不存在，你可以自己创建它... – Arnon

谢谢，做的工作。我创建了一个'.ghci'文件，并且必须执行'chmod 644/home/myUserName/.ghci'才能正常工作。 –

@Arnon你可以把它作为答案吗？ – Sibi

回答

它应该在$HOME/.ghc/ghci.conf或$HOME/.ghci。如果两者都不存在，你可以自己创建它...

来源

2015-11-03 17:18:32 Arnon

这里的细节：GHC User Guide - The .ghci and .haskeline files

当它启动时，除非-ignore点，ghci的标志赋予，GHCI读取并执行命令下面的文件，在这个顺序，如果它们存在：

./.ghci

APPDATA/GHC/ghci.conf，其中⟨appdata⟩取决于你的系统，但通常是像C：/文件和设置/用户/应用程序数据

在UNIX上：$ HOME/.ghc/ghci.conf

$ HOME/.ghci

的ghci.conf文件是打开的首选项最有用的（例如：set + s），并定义有用的宏。

来源

2016-02-15 07:07:40 SongPengpeng

使用堆栈编辑“.ghci”文件

回答

相关问题