Der einfachste Weg, Readline-Unterstützung zu einem Terminalprogramm hinzuzufügen, das sie nicht von Haus aus unterstützt, besteht darin, das Programm mit rlwrap aufzurufen . Sie können das gleichnamige Paket über mehrere Paketmanager installieren. Drücken Sie ↑ in den folgenden Beispielen:
$ poly
Poly/ML 5.7.1 Release
- ^[[A
Sie können es so ausführen:
$ rlwrap poly
Poly/ML 5.7.1 Release
- stuff I typed from last session;
Oder Sie können einen Alias in Ihrem ~/.bashrc hinzufügen oder ähnlich:
alias poly='rlwrap poly'
Die folgenden beiden QA beantworten Ihre Frage, allerdings für sml/nj. Für polyml sollte es nicht anders sein
- Conque SML-Rücktaste
- Wie man das interaktive SML/NJ-System 'repariert', um die Pfeiltasten zu verwenden