config-value-getopt: Interface between config-value and System.GetOpt

[ configuration, library, mit ] [ Propose Tags ]

This package allows to set command line configuration options from a file using the config-value syntax.

[Skip to Readme]
Versions [faq],
Change log
Dependencies base (>=4.8 && <4.10), config-value (>=0.4 && <0.6), text (>= && <1.3) [details]
License MIT
Copyright 2016 Galois, Inc.
Author Eric Mertens
Revised Revision 1 made by EricMertens at Tue Aug 2 00:07:27 UTC 2016
Category Configuration
Home page
Bug tracker
Source repo head: git clone
Uploaded by EricMertens at Tue May 17 18:48:56 UTC 2016
Distributions NixOS:
Downloads 932 total (33 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-05-17 [all 1 reports]




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for config-value-getopt-

[back to package description]


The config-value-getopt package allows GetOpt[1] specified options to be loaded from a configuration file in the config-value[2] format.

  • config-value section names are matched against the "long" option names in GetOpt.
  • Argument values can be provided as strings or numbers
  • An option will be omitted if its value is set to no
  • An option's argument will be omitted if its value is set to yes


address:       "::"
port:          9000
no-access-log: yes
hostname:      no

translates to

--address="::" --port="9000" --no-access-log