diff --git a/bin/deploy b/bin/deploy index 27792c8e68b6d046f1bf87186a57a62cf4eaa09a..2576f08f48dae31d303d1b21ffa3e25a0d0de251 100755 --- a/bin/deploy +++ b/bin/deploy @@ -26,6 +26,7 @@ usage() { positional=() via_hostname="" substitute_on_destination="" +keep_going="" show_trace="" while [[ $# -gt 0 ]] do @@ -41,6 +42,9 @@ do --substitute-on-destination|-s) substitute_on_destination="--substitute-on-destination" ;; + --keep-going) + keep_going="--keep-going" + ;; --show-trace) show_trace="--show-trace" ;; @@ -75,7 +79,7 @@ fi operation=$original_operation set_profile="" reboot="" -readonly common_nix_flags=(--log-format bar-with-logs) +readonly common_nix_flags=(--log-format bar-with-logs $keep_going) if [[ "$operation" = "switch" || "$operation" = "boot" ]] then