diff options
| -rwxr-xr-x | personal_infra/deploy_ragent_from_github | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/personal_infra/deploy_ragent_from_github b/personal_infra/deploy_ragent_from_github new file mode 100755 index 00000000..a643e020 --- /dev/null +++ b/personal_infra/deploy_ragent_from_github @@ -0,0 +1,8 @@ +#!/bin/sh + +set -ue + +run_id=$1 +shift + +ansible-playbook playbooks/site.yaml --tag deploy_ragent -e run_id=$run_id "$@" |