diff --git a/.gitignore b/.gitignore index c56a9cf..217032a 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ .direnv .pre-commit-config.yaml result +.manifests diff --git a/applyset-deploy.sh b/applyset-deploy.sh index e7d4e5b..e5b1232 100644 --- a/applyset-deploy.sh +++ b/applyset-deploy.sh @@ -2,12 +2,31 @@ set -euo pipefail +CREATE_LOCAL_GCROOT=false + +while [[ "$#" -gt 0 ]]; do + case "$1" in + --help) + echo "Use --create-local-gcroot to create local GC root" + exit 0 + ;; + --create-local-gcroot) + CREATE_LOCAL_GCROOT=true + shift + ;; + *) + echo "Unknown option: $1" + exit 1 + ;; + esac +done + first_server="${SERVERS%% *}" previous_manifest=$( envsubst <