diff options
author | tv <tv@krebsco.de> | 2017-08-10 10:47:08 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-08-10 10:47:08 +0200 |
commit | 658324d10da133feb2ef40a061c6e7223ef0b502 (patch) | |
tree | bfac7164f5eb16a0fade41dd49874e8d4e991905 | |
parent | 90b07257b95b3d0114858f459404f6b962759835 (diff) |
shell: cleanup use of force_populate
-rw-r--r-- | shell.nix | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -149,7 +149,7 @@ let -- "$@") if \test $? != 0; then exit 1; fi eval set -- "$args" - force_populate=false; + force_populate=false while :; do case $1 in --force-populate) force_populate=true; shift;; -s|--system) system=$2; shift 2;; @@ -182,7 +182,7 @@ let source_file=$user/1systems/$system/source.nix source=$(get-source "$source_file") qualified_target=$target_user@$target_host:$target_port$target_path - if test "$force_populate" = true; then + if \test "$force_populate" = true; then echo "$source" | populate --force "$qualified_target" else echo "$source" | populate "$qualified_target" |