![]() ![]() The name of the repository is given on the first line, and can be anything packages downloaded from this repository will be cached under ~/.cabal/packages/ (or whatever name you specify you can change the prefix by changing the value of remote-repo-cache). ![]() When cabal creates a default config file, it configures the repository to be the central Hackage server: repository Repository specificationĪn important part of the configuration if the specification of the repository. You can also use cabal user-config update to migrate configuration files created by older versions of cabal. Means that the configuration file currently does not specify a value for the executable-stripping option (the line is commented out), and that the default is True if you wanted to disable stripping of executables by default, you would change this line to executable-stripping: False Most options are left at their default value, which it documents for instance, - executable-stripping: True ![]() The created configuration file only specifies values for a handful of options. Most of the options in this configuration file are also available as command line arguments, and the corresponding documentation can be used to lookup their meaning. Alternatively, you can explicitly ask cabal to create it for you using If you do not have this file, cabal will create it for you on the first call to cabal update. The global configuration file for cabal-install is ~/.cabal/config.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |