Fantastic, that was faster and easier than I thought! So nice to not constantly mess up all my commands any more... A good start to a new week. :-)
Cheers, Marc On Mon, Apr 15, 2019 at 10:51 AM Marc Kaufmann <marc.kaufman...@gmail.com> wrote: > Ha, thanks. I should have searched the docs for readline, not for vi-mode > and vi mode. I'll let you know how it goes. > > Marc > > On Mon, Apr 15, 2019 at 10:30 AM Tom Gillespie <tgb...@gmail.com> wrote: > >> I'm not sure if this will fix your vi-mode issues, but here is some info >> on the readline situation. You should be able to get readline support by >> installing readline-gpl via `raco pkg install readline-gpl` (as the name >> suggests it was removed from core racket due to gpl compatibility >> concerns). Some additional info in the docs >> <https://docs.racket-lang.org/readline/index.html>, with an additional >> note that `racket -il xrepl` is another way to start racket with readline >> support (once you have readline-gpl installed). Best! >> Tom >> >> >> On Mon, Apr 15, 2019 at 1:20 AM Marc Kaufmann <marc.kaufman...@gmail.com> >> wrote: >> >>> Hi all, >>> >>> I use vi-mode in the cli and in all the repls that use readline. >>> Racket's repl does not use readline for reading. Is there a way to get >>> vi-mode going anyway, either by wrapping readline around first or something >>> else? And if it's possible, would this require switching off something else >>> that is really important to have in the REPL? >>> >>> I hope someone else figured this one out before. >>> >>> Cheers, >>> Marc >>> >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Racket Users" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to racket-users+unsubscr...@googlegroups.com. >>> For more options, visit https://groups.google.com/d/optout. >>> >> -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
