Come aggiungere il supporto readline nell'interprete polyml?

Il modo più semplice per aggiungere il supporto readline a un programma terminale che non lo supporta nativamente è chiamare il programma usando rlwrap . È possibile installare il pacchetto con lo stesso nome tramite diversi gestori di pacchetti. Premendo ↑ negli esempi seguenti:

$ poly
Poly/ML 5.7.1 Release
- ^[[A

Puoi eseguirlo in questo modo:

$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;

Oppure puoi aggiungere un alias nel tuo ~/.bashrc o simile:

alias poly='rlwrap poly'

I seguenti due QA rispondono alla tua domanda, anche se per sml/nj. Non dovrebbe essere diverso per polyml

• Conque SML backspace
• Come 'aggiustare' il sistema interattivo SML/NJ per utilizzare i tasti freccia