Ticket #613 (new enhancement)

Opened 4 years ago

Last modified 16 months ago

Update .cabal/config along with cabal-install

Reported by: guest Owned by:
Priority: low Milestone: cabal-install-0.16
Component: cabal-install tool Version: HEAD
Severity: minor Keywords:
Cc: sveina@… Difficulty: very hard (<1 week)
GHC Version: Platform:

Description

When cabal-install is upgraded, it sometimes gains new features with corresponding lines in the default .cabal/config; however, the existing .cabal/config is not updated.

One way of updating it would be to make it, at every invocation of cabal-install, rewrite the file using a merger of the current configuration and the default one.

There are some issues with this - most particularily, user-written comments in the file should be preserved, without this stopping cabal-install from inserting its own comments for (disabled) new features, or causing duplication of comments.

None of this is particularily hard to imagine a solution for, but in the interests of avoiding priming, I won't write down my own suggested solutions here. If whoever eventually decides to try fixing this explains his proposed solution here, I'll chime in then.

Change History

Changed 16 months ago by kosmikus

  • difficulty changed from unknown to very hard (<1 week)
  • milestone set to Cabal-1.16

Changed 16 months ago by kosmikus

  • milestone changed from Cabal-1.16 to cabal-install-0.16
Note: See TracTickets for help on using tickets.