La forma más sencilla de agregar soporte de línea de lectura a un programa de terminal que no lo admite de forma nativa es llamar al programa usando rlwrap . Puede instalar el paquete del mismo nombre a través de varios administradores de paquetes. Presionando ↑ en los siguientes ejemplos:
$ poly
Poly/ML 5.7.1 Release
- ^[[A
Puedes ejecutarlo así:
$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;
O puede agregar un alias en su ~/.bashrc o similar:
alias poly='rlwrap poly'
Los siguientes dos controles de calidad responden a su pregunta, aunque para sml/nj. No debería ser diferente para polyml
- Retroceso de Conque SML
- Cómo 'arreglar' el sistema interactivo SML/NJ para usar las teclas de flecha