1#!/bin/bash 2 3set -eou pipefail 4 5declare -a extra_env 6while IFS='=' read -r -d '' name value; do 7 if [[ "$name" == READTHEDOCS* ]]; then 8 extra_env+=("--//sphinxdocs:extra_env=$name=$value") 9 fi 10done < <(env -0) 11 12# In order to get the build number, we extract it from the host name 13extra_env+=("--//sphinxdocs:extra_env=HOSTNAME=$HOSTNAME") 14 15set -x 16bazel run \ 17 --config=rtd \ 18 "--//sphinxdocs:extra_defines=version=$READTHEDOCS_VERSION" \ 19 "${extra_env[@]}" \ 20 //docs:readthedocs_install 21