From a07b8c9306988bf050de314b2458b99a8fa2986b Mon Sep 17 00:00:00 2001 From: Frank Date: Tue, 25 Aug 2026 20:08:52 -0700 Subject: [PATCH] Deploy services independently by changed paths --- scripts/deploy-remote.sh | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/scripts/deploy-remote.sh b/scripts/deploy-remote.sh index 4b68057..af99f81 100755 --- a/scripts/deploy-remote.sh +++ b/scripts/deploy-remote.sh @@ -15,6 +15,15 @@ shift 2 || true FROM_REVISION="" PENDING=0 SERVICES=() + +usage() { + cat <<'EOF' +Usage: deploy-remote.sh [--pending] [service]... + +The service list is explicit. An empty list is a successful no-op. +EOF +} + while [[ "$#" -gt 0 ]]; do case "$1" in --from-revision) @@ -48,14 +57,6 @@ run_privileged() { fi } -usage() { - cat <<'EOF' -Usage: deploy-remote.sh [--pending] [service]... - -The service list is explicit. An empty list is a successful no-op. -EOF -} - if [[ "$TARGET" != dankclaw && "$TARGET" != dankserver ]]; then usage >&2 exit 2