Jak přidat podporu readline v interpretu polyml?

Nejjednodušší způsob, jak přidat podporu readline do terminálového programu, který ji nativně nepodporuje, je zavolat program pomocí rlwrap . Balíček stejného jména můžete nainstalovat prostřednictvím několika správců balíčků. Stisknutím ↑ v níže uvedených příkladech:

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

Můžete to spustit takto:

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

Nebo můžete do ~/.bashrc přidat alias nebo podobně:

alias poly='rlwrap poly'

Následující dvě QA odpovídají na vaši otázku, i když pro sml/nj. U polyml by to nemělo být jiné

• Dobytí backspace SML
• Jak „opravit“ interaktivní systém SML/NJ pro používání kláves se šipkami