Opened 9 years ago

Last modified 9 years ago

#3601 new feature request

When running two or more instances of GHCi, persistent history is only kept for the first one

Reported by: arnar Owned by:
Priority: normal Milestone:
Component: GHCi Version: 6.10.4
Keywords: ghci history Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Other Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


The file ~/.ghc/ghci_history maintains the command history for the first running GHCi instance. No persistent history is kept for concurrently running ghci processes. See #2050.

bash provides an option of setting shopt -s histappend, which makes all bash instances share the same history file. Perhaps writing to the same file would be somewhat silly in the case of GHCi, but writing to .ghci_history.2 or similar could be one solution.

Alternatively, a command within GHCi to dump the current instance's command history to a file would work also.

Change History (1)

comment:1 Changed 9 years ago by igloo

Milestone: _|_
Type: bugfeature request
Type of failure: Other

Thanks for the suggestion.

Note: See TracTickets for help on using tickets.