[GHC] #6077: Respect XDG_CONFIG_HOME
GHC
ghc-devs at haskell.org
Sun May 22 05:16:05 UTC 2016
#6077: Respect XDG_CONFIG_HOME
-------------------------------------+-------------------------------------
Reporter: So8res | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: None | Version: 7.4.1
Resolution: | Keywords:
Operating System: Linux | Architecture:
| Unknown/Multiple
Type of failure: Other | Test Case:
Blocked By: 5966 | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by siddhanathan):
The GHCi configuration file would clearly be in
`$XDG_CONFIG_HOME/ghc/ghci.conf`.
Where exactly the GHCi history should be placed is debatable.
[https://wiki.debian.org/XDGBaseDirectorySpecification Debian] argues for
an additional state directory. But for now, I think
`$XDG_DATA_HOME/ghc/ghci_history` would be best.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6077#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list