about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-06-07T14·17+0200
committerEelco Dolstra <edolstra@gmail.com>2017-06-07T14·17+0200
commitb8283773bd64d7da6859ed520ee19867742a03ba (patch)
tree040443ef177a1a5ec1795fe9bd52d2b050d2fee8 /.gitignore
parentc8cc50d46e78de7ae02c2cb7a5159e995c993f61 (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