diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-06-07T14·17+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-06-07T14·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