diff options
author | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:26:47 +0200 |
---|---|---|
committer | Daniel Gröber <dxld@darkboxed.org> | 2017-06-12 04:36:46 +0200 |
commit | 188f27a7cd0723c290b5e12e4a376de229723e80 (patch) | |
tree | 5a581e16475f93124886637140470fa7bdaf64ab /scripts | |
parent | a8551e48ccb189202d8c7aa587c50044d7c41471 (diff) |
gitlab-ci: Add retry to 'cabal install' command
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/retry.sh | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/scripts/retry.sh b/scripts/retry.sh new file mode 100755 index 0000000..285648e --- /dev/null +++ b/scripts/retry.sh @@ -0,0 +1,50 @@ +#!/usr/bin/env bash + +# MIT LICENSE +# +# Copyright (c) 2016 Travis CI GmbH <contact@travis-ci.org> +# +# Permission is hereby granted, free of charge, to any person obtaining a copy +# of this software and associated documentation files (the "Software"), to deal +# in the Software without restriction, including without limitation the rights +# to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +# copies of the Software, and to permit persons to whom the Software is +# furnished to do so, subject to the following conditions: +# +# The above copyright notice and this permission notice shall be included in +# all copies or substantial portions of the Software. +# +# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +# IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +# FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +# AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +# LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +# OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN +# THE SOFTWARE. +# +# +# Copied from github.com/travis-ci/travis-build and modified to pass shellcheck. +# Copied from https://github.com/cockroachdb/cockroach/blob/b4b7412d1c899a7488a9839eb4e01a616e4de135/scripts/travis_retry.sh and modified slightly + +retry() { + local result=0 + local count=1 + while [ $count -le 3 ]; do + [ $result -ne 0 ] && { + echo -e "\n${ANSI_RED}The command \"$*\" failed. Retrying, $count of 3.${ANSI_RESET}\n" >&2 + } + "$@" + result=$? + [ $result -eq 0 ] && break + count=$((count + 1)) + sleep 10 + done + + [ $count -gt 3 ] && { + echo -e "\n${ANSI_RED}The command \"$*\" failed 3 times.${ANSI_RESET}\n" >&2 + } + + return $result +} + +retry "$@" |