首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >问答首页 >如何更改WinGHCi的命令提示符?

如何更改WinGHCi的命令提示符?
EN

Stack Overflow用户
提问于 2016-09-27 03:16:42
回答 1查看 332关注 0票数 0

Windows 10 x64,哈斯克尔

我创建了%appdata%\ghc\ghci.conf文件,并在其中添加了更改提示符的命令:

代码语言:javascript
运行
复制
:set prompt "\x03BB"

我发现它只适用于ghci.exeghci-8.0.1.exe,但WinGHCi提示符没有改变:

我怎么才能修复它?

EN

回答 1

Stack Overflow用户

发布于 2016-09-27 04:19:08

我想我有这个问题:https://github.com/haskell/winghci/issues/7

另外:

原始作者不再活跃于项目中,但代码仍然保持不变。请在此处提交您的拉取请求。

因此,我现在不会学习这个工具。

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

https://stackoverflow.com/questions/39710654

复制
相关文章

相似问题

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