2015-04-09 15 views

risposta

9

Il comando che stai cercando è :set prompt. Seguilo da quello che vuoi che sia il prompt. Puoi metterlo in .ghci, credo.

:set prompt "λ> " 
:set prompt2 "λ| " 
+0

Grazie mucchio, è possibile utilizzare unicode nel prompt dei set, ad esempio per il valore 03BB che denota il simbolo Lamda? – elm

+3

Per aggiungere alla risposta di MathematicalOrchid, dovresti scrivere le seguenti due righe nel tuo file '.ghci':': set prompt "λ>" ',: set prompt2" λ | "'. – Jubobs

+0

'Q: Ma dove inserisco il file .ghci?' A: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci-dot-files.html –

8

È possibile utilizzare il seguente comando per utilizzare il carattere lambda:

:set prompt "\x03BB: " 
+0

Eccellente, grazie :) – elm

+0

O qualcosa come: set prompt "% s \ n \ x03BB" 'se vuoi vedere i moduli caricati sulla prima riga, e' λ 'sulla seconda riga. –