Ticket #544 (new enhancement)

Opened 4 years ago

Last modified 15 months ago

symlink-bindir should really be a user/global option rather than in the main section

Reported by: Jedai Owned by: Jedai
Priority: low Milestone: cabal-install-0.16
Component: cabal-install tool Version:
Severity: minor Keywords: symlink option
Cc: Difficulty: unknown
GHC Version: Platform:

Description

Well, not much to add. symlink-bindir is currently an option from the main section, it would make more sense to make it an option for the installdirs sections since this is really a choice of where to install things.

Change History

Changed 4 years ago by Jedai

  • version 1.6.0.1 deleted

Changed 15 months ago by kosmikus

  • milestone changed from cabal-install-0.8 to cabal-install-0.16

I don't think I understand this. Is it just about where in the help list the description is displayed? What does it have to do with user/global?

Changed 15 months ago by kosmikus

Ah, I understand this now: it's about the config file, where we can specify separate dirs for the "user" and "global" case, but only for selected options.

Note: See TracTickets for help on using tickets.