CTRL-R with editline

[infradig]

Since converting the default (on unix systems) from GNU readline to BSD editline you may notice CTRL-R & CTRL-S no longer working in the REPL. If so make sure your ~/.editrc file contains the following:

✗ cat ~/.editrc
bind "^r" em-inc-search-prev
bind "^s" em-inc-search-next

[infradig]

Also notice editline writes the history file with spaces converted to \040 sequence. If you ever have to go back to readline or edit the ~/.tpl_history file manually this can be annoying.

[infradig]

It remains an option to completely remove GNU readline support at some point as it adds nothing.

[notoria]

Trealla can't be built with musl and it's due to the REPL. Could Trealla implement a basic alternative (like SICStus, GNU Prolog without Linedit)?