Opened 7 years ago

Last modified 5 months ago

#6077 new feature request

Respect XDG_CONFIG_HOME

Reported by: So8res Owned by:
Priority: normal Milestone:
Component: None Version: 7.4.1
Keywords: Cc: gueux
Operating System: Linux Architecture: Unknown/Multiple
Type of failure: Other Test Case:
Blocked By: #5966 Blocking:
Related Tickets: #15540 Differential Rev(s):
Wiki Page:

Description

As of now, ghc creates and uses a "$HOME/.ghc" directory. This is annoying to those who like to keep their $HOME directory clean through use of the XDG_CONFIG_HOME variable. Specifically, it's nice to have all configuration files in "$HOME/.config" instead of polluting "$HOME".

It would be great if ghc could create and use its configuration directory in the configuration directory specified by the user.

Change History (8)

comment:1 Changed 7 years ago by simonmar

difficulty: Unknown
Resolution: duplicate
Status: newclosed

Thanks; already reported as #5966

comment:2 Changed 4 years ago by god

Blocked By: 5966 added
Resolution: duplicate
Status: closednew

comment:3 Changed 4 years ago by god

Supporting XDG spec in the standard library is one thing but actually converting the ghc itself to use it is another. Those tasks are certainly related but I think it's worth to keep the corresponding bugs separate.

comment:4 Changed 3 years ago by hvr

for the record, directory now has separate functions availabel for querying XDG dirs. So GHC now needs to decide if and how to support XDG base dirs

comment:5 Changed 3 years ago 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. Debian argues for an additional state directory. But for now, I think $XDG_DATA_HOME/ghc/ghci_history would be best.

comment:6 Changed 2 years ago by gueux

Cc: gueux added

comment:7 Changed 5 months ago by potato44

comment:8 Changed 5 months ago by potato44

Note: See TracTickets for help on using tickets.