diff options
author | tv <tv@krebsco.de> | 2017-08-15 21:46:49 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-08-15 22:35:26 +0200 |
commit | f8762c3ce88ed3881cabcaa06c43da4a11cbf698 (patch) | |
tree | acd9c0656452fcab6a100fe915a5b44142e1e7bd | |
parent | 74bff93dbea3c2b8ef1d9f5c2fe7976a1b0df6d3 (diff) |
shell: restyle --force-populate
-rw-r--r-- | shell.nix | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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;; |