Skip to content

Commit

Permalink
Review
Browse files Browse the repository at this point in the history
Signed-off-by: Nicolás Ojeda Bär <[email protected]>
  • Loading branch information
nojb committed Nov 20, 2022
1 parent 4ac1596 commit f6f960a
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions doc/dune-files.rst
Original file line number Diff line number Diff line change
Expand Up @@ -2161,25 +2161,25 @@ context.
``config`` stanzas
------------------

Moreover, starting in Dune 3.0, any of the stanzas from the :ref:`config` file
can be used in the ``dune-workspace`` file. In this case, the configuration
stanza will only affect the current workspace.
Starting in Dune 3.0, any of the stanzas from the :ref:`config` file can be used
in the ``dune-workspace`` file. In this case, the configuration stanza will only
affect the current workspace.

.. _config:

config
======

This file is used to set global configuration of Dune (applicable across
projects and workspaces).
This file is used to set the global configuration of Dune which is applicable
across projects and workspaces.

The configuration file is normally ``~/.config/dune/config`` on Unix systems and
``%LOCALAPPDATA%/dune/config`` on Windows. However, for most Dune commands it is
possible to specify an alternative configuration file with the ``--config-file``
option. Command-line flags take precedence over the contents of the ``config``
file. If ``--no-config`` or ``-p`` is passed, Dune will not read this file.

It can contain the following stanzas:
The ``config`` file can contain the following stanzas:

.. _display:

Expand Down

0 comments on commit f6f960a

Please sign in to comment.