search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267 stars 70 forks source link

rlwrap for repl #617

Open ju-sh opened 1 year ago

ju-sh commented 1 year ago

Hi.

Is there a way to have the idris-repl use rlwrap?

So that command history can be made use of?

ju-sh commented 1 year ago

Can idris-repl-mode-hook be of any help here?

gallais commented 1 year ago

Based on live sightings, I believe @mjustus got it to work for the REPL in emacs.

mjustus commented 1 year ago

idris-repl-mode keeps a history of up to 200 commands by default that can be navigated with M-p/C-up for the previous and M-n/C-down for the next entry:

https://github.com/idris-hackers/idris-mode/blob/c96f45d1b8fad193f09fb6139da17092003b5e74/idris-repl.el#L204-L226

Size and location of the history file can be set via customize-group under idris-repl.

I don't think there's an easy way to get any of the more advanced GNU Readline features though.

kuribas commented 1 year ago

Isn't readline mimicking emacs? I can see some cirularity here...