Skip to content

Commit

Permalink
Use OPTS, not FLAG, for --repl-options
Browse files Browse the repository at this point in the history
  • Loading branch information
tomsmeding committed Feb 12, 2025
1 parent 9219a88 commit 0970b71
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/cabal-commands.rst
Original file line number Diff line number Diff line change
Expand Up @@ -1060,7 +1060,7 @@ Examples:
Configuration flags can be specified on the command line and these extend the project
configuration from the 'cabal.project', 'cabal.project.local' and other files.

.. option:: --repl-options=FLAG
.. option:: --repl-options=OPTS

To avoid ``ghci``-specific flags from triggering unneeded global rebuilds, these
flags are stripped from the internal configuration when using
Expand Down

0 comments on commit 0970b71

Please sign in to comment.