I try to select text using “shift+left” or “shift+right” in the REPL. But it does not work (a colleague testet it on linux with juno, there it works).
I tried google, but I likely look for the wrong keywords. I also don’t really know what kind of “shell” julia is using. Marking with shift+left etc. also does not work if I run julia-repl directly.
This is something I usually use quite often. Any way to get it to run?