Le moyen le plus simple d'ajouter le support readline à un programme de terminal qui ne le supporte pas nativement est d'appeler le programme en utilisant rlwrap . Vous pouvez installer le package du même nom via plusieurs gestionnaires de packages. En appuyant sur ↑ dans les exemples ci-dessous :
$ poly
Poly/ML 5.7.1 Release
- ^[[A
Vous pouvez l'exécuter comme ceci :
$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;
Ou vous pouvez ajouter un alias dans votre ~/.bashrc ou similaire :
alias poly='rlwrap poly'
Les deux QA suivants répondent à votre question, mais pour sml/nj. Cela ne devrait pas être différent pour polyml
- Conque SML retour arrière
- Comment "réparer" le système interactif SML/NJ pour utiliser les touches fléchées