3 # This file is intended to be sourced with `. shared.sh` or
4 # `source shared.sh`, hence the invalid shebang and not being
5 # marked as an executable file in git.
7 # See http://unix.stackexchange.com/questions/82598
8 # Duplicated in docker/dist-various-2/shared.sh
10 echo "Attempting with retry:" "$@"
15 if [[ $n -lt $max ]]; then
16 sleep $n # don't retry immediately
18 echo "Command failed. Attempt $n/$max:"
20 echo "The command has failed after $n attempts."
27 if ! declare -F travis_fold; then
28 if [ "${TRAVIS-false}" = 'true' ]; then
29 # This is a trimmed down copy of
30 # https://github.com/travis-ci/travis-build/blob/master/lib/travis/build/templates/header.sh
32 echo -en "travis_fold:$1:$2\r\033[0K"
35 travis_timer_id=$(printf %08x $(( RANDOM * RANDOM )))
36 travis_start_time=$(travis_nanoseconds)
37 echo -en "travis_time:start:$travis_timer_id\r\033[0K"
39 travis_time_finish() {
40 travis_end_time=$(travis_nanoseconds)
41 local duration=$(($travis_end_time-$travis_start_time))
42 local msg="travis_time:end:$travis_timer_id"
43 echo -en "\n$msg:start=$travis_start_time,finish=$travis_end_time,duration=$duration\r\033[0K"
45 if [ $(uname) = 'Darwin' ]; then
46 travis_nanoseconds() {
47 date -u '+%s000000000'
50 travis_nanoseconds() {
55 travis_fold() { return 0; }
56 travis_time_start() { return 0; }
57 travis_time_finish() { return 0; }