de Windows 10 x64, HaskellComment changer l'invite de commande de WinGHCi?
J'ai créé le fichier %appdata%\ghc\ghci.conf
et ajouté en elle la commande pour un changement rapide:
:set prompt "\x03BB"
Je vois qu'il a été appliqué seulement pour ghci.exe
et ghci-8.0.1.exe
, mais WinGHCi
rapide n'a pas été modifié :
Comment puis-je résoudre ce problème?