From 658324d10da133feb2ef40a061c6e7223ef0b502 Mon Sep 17 00:00:00 2001 From: tv Date: Thu, 10 Aug 2017 10:47:08 +0200 Subject: shell: cleanup use of force_populate --- shell.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'shell.nix') diff --git a/shell.nix b/shell.nix index 57690d39..b01d9848 100644 --- a/shell.nix +++ b/shell.nix @@ -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" -- cgit v1.2.3