Merge branch 'master' into master

This commit is contained in:
Felix 2019-04-15 09:40:46 +02:00 committed by GitHub
commit 860fede168
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,7 +26,9 @@
when: add_repository_key is failed
- name: Add Docker apt key (alternative for older systems without SNI).
shell: "curl -sSL {{ docker_apt_gpg_key }} | sudo apt-key add -"
shell: |
set -o pipefail
curl -sSL {{ docker_apt_gpg_key }} | sudo apt-key add -
args:
warn: false
when: add_repository_key is failed