windows - tag files

¿Cómo puedo configurar mi indicador GHCi para un carácter lambda en Windows?

Question

Quiero tener un símbolo lambda (λ) como indicador en GHCi (7.8) en Windows 7, así que configuro mi archivo .ghci como

:set +m
:set prompt "λ: "
:set prompt2 " | "

Y configuro la fuente de mi consola en Lucida Console, ya que se supone que es compatible con Unicode, pero cuando carga GHCi, se ve así en su lugar

¿Cómo puedo hacer que Windows reconozca correctamente el símbolo λ?

Answer 1

Esta es en realidad una solución bastante simple, simplemente ejecute el siguiente comando antes de iniciar GHCi:

> chcp.com 65001

Esto establece la codificación de Windows en la página de códigos 65001, que permite que λ se muestre correctamente:

Esto también permitirá que muchos otros caracteres Unicode se muestren correctamente en cmd.exe y otros shells de Windows (como Cyhwin bash), pero el soporte de Unicode de Windows todavía no es perfecto, y algunas fuentes no admiten muchos de los caracteres. Afortunadamente, λ pasa a ser un personaje compatible, por lo que todos podemos tener el indicador GHCi clásico.

Answer 2

Usando > chcp.com 65001 funcionó con ghci, pero al abrir otros archivos de texto con vim después de configurar esa página de códigos, se obtuvo un texto confuso.

En lugar de cambiar la página de códigos, puede usar unicode escaped lambda /x03BB :

:set prompt "/x03BB: "

en lugar de:

:set prompt "λ: "