summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-08-15 21:46:49 +0200
committertv <tv@krebsco.de>2017-08-15 22:35:26 +0200
commitf8762c3ce88ed3881cabcaa06c43da4a11cbf698 (patch)
treeacd9c0656452fcab6a100fe915a5b44142e1e7bd
parent74bff93dbea3c2b8ef1d9f5c2fe7976a1b0df6d3 (diff)
shell: restyle --force-populate
-rw-r--r--shell.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix
index bc14fe7d8..196a53aa1 100644
--- a/shell.nix
+++ b/shell.nix
@@ -166,7 +166,7 @@ let
eval set -- "$args"
force_populate=false
while :; do case $1 in
- --force-populate) force_populate=true; shift;;
+ --force-populate) force_populate=true; shift;;
-Q|--quiet) quiet=true; shift;;
-s|--system) system=$2; shift 2;;
-t|--target) target=$2; shift 2;;