diff options
Diffstat (limited to 'scripts/upload_when_ready.sh')
| -rwxr-xr-x | scripts/upload_when_ready.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/scripts/upload_when_ready.sh b/scripts/upload_when_ready.sh deleted file mode 100755 index 570ad0a..0000000 --- a/scripts/upload_when_ready.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail - -if [[ $# -lt 2 || $# -gt 3 ]]; then - echo "usage: $0 <src_root> <dest_root> [poll_seconds]" >&2 - exit 1 -fi - -src_root=$1 -dest_root=$2 -poll_seconds=${3:-120} -manifest_path="${src_root%/}/manifest.json" - -if [[ "$poll_seconds" -le 0 ]]; then - echo "poll_seconds must be positive" >&2 - exit 1 -fi - -while [[ ! -f "$manifest_path" ]]; do - sleep "$poll_seconds" -done - -bbb cptree "$src_root" "$dest_root" |
