I don't really understand what you want to do exactly. I think mostly you have to implement it yourself, possibly by using something like https://docs.racket-lang.org/charterm/index.html or maybe https://docs.racket-lang.org/lux-charterm/index.html
https://pkgd.racket-lang.org/pkgn/search?tags=terminal I would guess that the rmacs package could contain quite a few useful tricks, but haven't looked at it in depth. I also tried a few emacs-style key-combos in the racket repl only one, that I always use in terminals, worked: ctrl-r for reverse history search It allows you to quickly eval a previously entered expression in the repl, to me it seems that this is implemented in racket somewhere, but I am not sure whether it is in the default repl, or whether it has something to do with xrepl. https://docs.racket-lang.org/xrepl/index.html?q=xrepl That said you could have a prefix for commands like : or / for just typing static commands, or something more interactive by managing the terminal buffer yourself with something like charterm. I think lux with the lux-charterm might be a good way to build your terminal application from many little pieces that are combined to form the full application, but I haven't used it so far, would be nice to find a medium sized example for a lux terminal application. James Platt schrieb am Mittwoch, 10. März 2021 um 19:41:18 UTC+1: > I am working on an example command line chat client in Racket and I need a > method to switch from text chat to commands for things like sending a > binary file or executing a utility to check the network connection. I am > thinking of something like control key combinations. What is the easiest > way to do something like this in Racket? -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/13b4eb86-e5f1-4e2f-8297-dfa1847358f6n%40googlegroups.com.
