summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-08-10 10:47:08 +0200
committertv <tv@krebsco.de>2017-08-10 10:47:08 +0200
commit658324d10da133feb2ef40a061c6e7223ef0b502 (patch)
treebfac7164f5eb16a0fade41dd49874e8d4e991905
parent90b07257b95b3d0114858f459404f6b962759835 (diff)
shell: cleanup use of force_populate
-rw-r--r--shell.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/shell.nix b/shell.nix
index 57690d398..b01d98483 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"