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 | 2c6b649d811c55d51c5df08193f41000370f88fd (patch) | |
tree | f3442b504b56058e3848828a364f8388eec10312 | |
parent | 269bc72aafc6964955a0c21842f14202c54a9193 (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" |