Changes between Initial Version and Version 1 of Ticket #9089, comment 4


Ignore:
Timestamp:
Jun 24, 2014 2:53:27 PM (14 months ago)
Author:
rwbarton
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9089, comment 4

    initial v1  
    11This kind of diff with no context is hard to read and in danger of getting out of date with upstream. Can you attach a diff produced by `git diff` or, failing that, at least with `diff -u`? (I think the attached diff is backwards, too.)
    22
    3 Also, a documentation patch would be helpful. It's somewhat less obvious how I'm supposed to use a local .ghci_history file than a local .ghci file, since a .ghci file is written by the user, but a .ghci_history is (usually) produced by .ghci. Am I supposed to just create an empty .ghci_history file in the directory where I want to use local history?
     3Also, a documentation patch would be helpful. It's somewhat less obvious how I'm supposed to use a local .ghci_history file than a local .ghci file, since a .ghci file is written by the user, but a .ghci_history is (usually) produced by ghci. Am I supposed to just create an empty .ghci_history file in the directory where I want to use local history?