Je suis en utilisant ghci 6.8.2 sur Ubuntu. Ne ghci utiliser un fichier de configuration où nous pouvons faire de la configuration initiale?. E. g.: :set prompt "ghci> ".
Merci,
Roberto.
Prograide.com
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
