diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-06-07 16:17:17 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-06-07 16:17:17 +0200 |
commit | b8283773bd64d7da6859ed520ee19867742a03ba (patch) | |
tree | 040443ef177a1a5ec1795fe9bd52d2b050d2fee8 /.gitignore | |
parent | c8cc50d46e78de7ae02c2cb7a5159e995c993f61 (diff) |
nix: Make all options available as flags
Thus, instead of ‘--option <name> <value>’, you can write ‘--<name>
<value>’. So
--option http-connections 100
becomes
--http-connections 100
Apart from brevity, the difference is that it's not an error to set a
non-existent option via --option, but unrecognized arguments are
fatal.
Boolean options have special treatment: they're mapped to the
argument-less flags ‘--<name>’ and ‘--no-<name>’. E.g.
--option auto-optimise-store false
becomes
--no-auto-optimise-store
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions