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
commit50fb6e5f7c778c3bd759951809dae04f080b3379 (patch)
treeab7a1aadd2d962dcdb4903f8ebc596926d6d7f2b
parent64ef4f04fc1e0e3d768df8627bfe05c2e53af94c (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 bc14fe7..196a53a 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;;