Ticket #7509 (new feature request)
Changing the second prompt. :{ modules| No setting available to change.
| Reported by: | m30w | Owned by: | igloo |
|---|---|---|---|
| Priority: | normal | Milestone: | 7.8.1 |
| Component: | Compiler | Version: | 7.6.1 |
| Keywords: | ghci second prompt setting set configuration conf config | Cc: | |
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | None/Unknown | Difficulty: | Unknown |
| Test Case: | Blocked By: | ||
| Blocking: | Related Tickets: |
Description (last modified by igloo) (diff)
In order to change the main prompt it's as simple as a single command.
:set prompt "> "
However, in order to change the second prompt, you'd have to go into the ghci source code, and remove code or wrap existing code to add a switch/configuration for it.
Example..
> :{
Prelude|
As of the reason to having a configurable prompt, when you have many modules, this list can become annoying fast and so many have disabled showing the modules. Yet we can't do this with the second prompt.
Change History
Note: See
TracTickets for help on using
tickets.
