-vers=($(curl -s https://dist.torproject.org/torbrowser/ \
- | sed -rn 's#.*href="([0-9]+\.[0-9]+[.0-9]*)/.*#\1#p' \
- | sort -Vr))
-
-
+# Their server has failed a few times on me, so do some retrying.
+for (( i=0; i <= 6 ; i++ )); do
+ c=$(curl -s https://dist.torproject.org/torbrowser/) && break
+ sleep 15
+done
+if [[ ! $c ]]; then
+ echo "$0: error: failed to curl tor directory listing" >&2
+ exit 1
+fi
+vers=($(printf "%s\n" "$c" | sed -rn 's#.*href="([0-9]+\.[0-9]+[.0-9]*)/.*#\1#p' | sort -Vr))