GHCi配置文件

Question

我正在Ubuntu上使用ghci 6.8.2。ghci是否使用配置文件来进行一些初始设置？例如： :set prompt "ghci> "。

- rturrado

Answer 1

你尝试过将:set prompt "ghci> "添加到~/.ghci中吗？

- hvr

---

非常抱歉问这么基础的问题，但我不明白：.ghci文件的全名是什么？以及应该把这个文件放在哪里？我试着把这个文件放在一个Haskell代码文件的附近，但是ghci好像没有读取那个.ghci文件。 - awllower

在 Windows 中，你需要将文件放入你的用户目录中。例如 C:\Users\YourUsername\。 - MasterMastic

Answer 2

使用 @hvr 的答案后，我收到了以下警告:

*** WARNING: ~/.ghci is writable by someone else, IGNORING!

解决方案是 chmod g-w ~/.ghci。

- sjakobi

Answer 3

在我的~/.ghci配置文件中，我有以下行： :set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX" 这是我的ghci提示符的样子：

https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8

在那个配置文件中，我暂时注释掉了:set +m。

- daparic

---

那个不错的lambda在ghci中对我不起作用，然而它在我的终端中可以工作:/ - xeruf

将其添加到~/.ghci对我来说完全没有任何作用 - GHCi说Loaded GHCi configuration from /home/<user>/.ghci，但提示符没有改变 :/ - xeruf

Answer 4

在@truthadjustr的答案中，序言每次运行任何命令时都会出现。

: set prompt "\ESC[1;31m\STXλ> \ESC[m\STX"

此命令解决了问题。

- Abhinav

---

那是他的目标 - 仍然展示包 - 这是一个特性，而不是一个错误。 - xeruf