
Thanks for the fantastic cabal-dev tool! Is there any convenient way to save changes to the package-specific cabal config file in cabal-dev? When I make changes to cabal-dev/cabal.config, cabal-dev seems to scribble over them next time I run it. The only solution I have found so far is to run cabal-dev install once (ignoring the errors) to create the cabal-dev directory and cabal.config, make a copy of cabal.config with a different name, edit it as needed, and then use a long-winded "--config=..." option for every subsequent run cabal-dev. The changes I need to make are as follows: - remote-repo-cache is wrong for Mac OS X - add more remote-repo lines for our local yackage servers. Note that the first is global, so it would be nice to have a way to make that change once globally for all packages. Whereas the second is, in general, package specific. We find local yackage servers much simpler to use and far more powerful than using add-source. You can organize packages by project, team, specific developers, etc. Thanks, Yitz