代码之家 › 专栏 › 技术社区 › bheklilr

如何在Windows上将GHCi提示设置为lambda字符?

ghci ghc unicode haskell windows

bheklilr · 技术社区 · 10 年前

我想在Windows7上的GHCi(7.8)中使用lambda()符号作为提示,因此我设置了 .ghci 文件为

:set +m
:set prompt  "Î»: "
:set prompt2 " | "

我将控制台字体设置为Lucida console,因为它应该支持Unicode,但当我加载GHCi时,它看起来像这样

no lambda!

如何让Windows正确识别符号?

3 回复 | 直到 9 年前

Ed The ''Pro'' Simon Klee 4 年前

使用 > chcp.com 65001 使用GHCi,但在设置编码返回乱码文本后,使用Vim打开其他文本文件。

将以下内容添加到 %USERPROFILE%\.ghci 。您可以使用Unicode转义lambda,而不是更改编码 \x03BB :

:set prompt  "\x03BB: "

如果 %用户档案%\.ghci 不存在,请在进行更改之前先创建它。

bheklilr 10 年前

这实际上是一个非常简单的修复,只需在启动GHCi之前运行以下命令:

> chcp.com 65001

这将Window的编码设置为65001代码页,这样可以正确显示:

enter image description here

这也会让许多其他Unicode字符在 cmd.exe 和其他Windows shell(如Cygwin bash),但Windows的Unicode支持仍然不够完善,有些字体不支持许多字符。幸运的是,恰好是一个受支持的角色,所以我们都可以使用经典的GHCi提示。

Ed The ''Pro'' Simon Klee 4 年前

使用Rzvan Flavius Panda的答案,我决定创建一个配置文件,其中包含三个用于设置提示的标志。原因是 prompt-cont 适用于GHCi版本>=8.2.0,而 prompt2 适用于较旧的GHCi版本。

我看了一下 a short tutorial about configuring GHCi 尝试找出配置文件的放置位置。该站点表示,GHCi按照以下顺序读取配置文件:

./.ghci (本地配置文件。)
根据您的操作系统:
- *数码: $HOME/.ghc/ghci.conf
- 窗户: C:\Users\<name>\AppData\Roaming\ghc\ghci.conf
$HOME/.ghci (可能是*nix;不适合我。)

我选择了第二个选项。

C:\Users\Edwin\AppData\Roaming\ghc\ghci.conf :

:set prompt "\x03BB> "
:set prompt2 "\x03BB| "
:set prompt-cont "\x03BB| "

说明:

推荐文章

Community wiki · 需要改变的用户界面模式?

1 年前

Cavaleriy · 读取.tar.gz归档文件的目录和文件中的内容,而不使用tarfile lib进行提取

1 年前

LITzman · 使用状态处理颜色主题更改

1 年前

Community wiki · 进程。退出(0):输出消失?

1 年前

Community wiki · 无法从同一局域网内的远程机器访问Android设备

1 年前

arsaces · 将文本添加到特定文件的末尾

2 年前

YGranja · 库<图形。h> MinGW-W64缺少

2 年前

Felipe Palermo · Ctrl键仍被按下,按键事件()

2 年前

HCJ · win cmd中的批处理脚本循环

2 年前

Vladyslav Nazarov · 如何在没有NULL的情况下显示mysql查询?

2 年前