diff options
| author | Florian Bruhin <git@the-compiler.org> | 2016-04-05 12:43:51 +0200 |
|---|---|---|
| committer | Florian Bruhin <git@the-compiler.org> | 2016-04-05 12:43:51 +0200 |
| commit | fb741582ef205b6bece7644563bff842323a659f (patch) | |
| tree | fa8953253e5b52b2ef0718edf725b4b531f37ae9 /scripts | |
| parent | 860853f66f75b5932c355c199a6b512b59a94791 (diff) | |
| download | qutebrowser-fb741582ef205b6bece7644563bff842323a659f.tar.gz qutebrowser-fb741582ef205b6bece7644563bff842323a659f.zip | |
scripts/dev/ci/install: Retry apt-get if it fails
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/dev/ci/install.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/dev/ci/install.py b/scripts/dev/ci/install.py index a772b5d72..b96b9f72c 100644 --- a/scripts/dev/ci/install.py +++ b/scripts/dev/ci/install.py @@ -69,7 +69,13 @@ def folded_cmd(argv): def apt_get(args): - folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args) + try: + folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args) + except subprocess.CalledProcessError: + print() + print("apt-get failed... trying a second time!") + print() + folded_cmd(['sudo', 'apt-get', '-y', '-q'] + args) def brew(args): |