Mars lacks readline support
Bug #483955 reported by
Matt Giuca
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Mars |
Fix Released
|
Wishlist
|
Matt Giuca |
Bug Description
Mars's interactive mode lacks good command-line editing features, as provided by GNU Readline. This primarily entails a) being able to use command history, edit the current line, etc, and b) being able to do tab-completion and other application-
A workaround for (a) is to use rlwrap around Mars, but this is tedious since you often forget to use it. There is no workaround for (b) as it requires Mars to perform its own tab completion.
Implement a Mercury binding for GNU Readline, then incorporate it into the Mars interactive shell.
Related branches
Changed in mars: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
Fixed in trunk r898.