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 | 50fb6e5f7c778c3bd759951809dae04f080b3379 (patch) | |
| tree | ab7a1aadd2d962dcdb4903f8ebc596926d6d7f2b | |
| parent | 64ef4f04fc1e0e3d768df8627bfe05c2e53af94c (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;; |
