| #!/bin/false |
| |
| # This file is intended to be sourced with `. shared.sh` or |
| # `source shared.sh`, hence the invalid shebang and not being |
| # marked as an executable file in git. |
| |
| # See http://unix.stackexchange.com/questions/82598 |
| # Duplicated in docker/dist-various-2/shared.sh |
| function retry { |
| echo "Attempting with retry:" "$@" |
| local n=1 |
| local max=5 |
| while true; do |
| "$@" && break || { |
| if [[ $n -lt $max ]]; then |
| sleep $n # don't retry immediately |
| ((n++)) |
| echo "Command failed. Attempt $n/$max:" |
| else |
| echo "The command has failed after $n attempts." |
| return 1 |
| fi |
| } |
| done |
| } |
| |
| function isCI { |
| [ "$CI" = "true" ] || [ "$TF_BUILD" = "True" ] |
| } |
| |
| function isOSX { |
| [ "$AGENT_OS" = "Darwin" ] |
| } |
| |
| function getCIBranch { |
| echo "$BUILD_SOURCEBRANCHNAME" |
| } |