首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >ghci配置文件

ghci配置文件
EN

Stack Overflow用户
提问于 2010-08-02 21:36:17
回答 4查看 8.8K关注 0票数 52

我在Ubuntu上使用的是ghci 6.8.2。ghci是否使用配置文件,我们可以在其中进行一些初始设置?例如::set prompt "ghci> "

EN

回答 4

Stack Overflow用户

回答已采纳

发布于 2010-10-19 20:06:18

您是否尝试过在~/.ghci中添加:set prompt "ghci> "

票数 73
EN

Stack Overflow用户

发布于 2013-07-14 11:05:22

在应用了@hvr的答案后,我得到了以下警告:

代码语言:javascript
复制
*** WARNING: ~/.ghci is writable by someone else, IGNORING!

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

票数 46
EN

Stack Overflow用户

发布于 2018-11-02 06:00:38

在我的~/.ghci配置文件中。我有下面这行代码:

:set prompt "\ESC[0;34m\STX%s\n\ESC[1;31m\STXλ> \ESC[m\STX"

下面是我的ghci提示符的样子:

https://asciinema.org/a/Tpk5430dPqCRN0cFqi1ucaCb8

在配置文件中,我临时注释掉了:set +m

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/3388261

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档