From 8680f3723eb506957f3937059192c3054178c2b8 Mon Sep 17 00:00:00 2001 From: Matt Renaud Date: Wed, 23 Jan 2019 21:04:39 -0800 Subject: [PATCH] Add documentation on --config-file and CONFIG_FILE env variable. [ci skip] --- Cabal/doc/installing-packages.rst | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Cabal/doc/installing-packages.rst b/Cabal/doc/installing-packages.rst index b61b9e2b4e6..d28aa7f45a2 100644 --- a/Cabal/doc/installing-packages.rst +++ b/Cabal/doc/installing-packages.rst @@ -15,6 +15,10 @@ explicitly ask ``cabal`` to create it for you using $ cabal user-config update +You can change the location of the global configuration file by specifying +either ``--config-file=FILE`` on the command line or by setting the +``CABAL_CONFIG`` environment variable. + 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. The created configuration file only specifies