2016-04-11 04:08:13 +08:00
|
|
|
[dockerrepo]
|
|
|
|
name=Docker Repository
|
2017-08-10 06:49:53 +08:00
|
|
|
baseurl={{ docker_rh_repo_base_url }}
|
2016-04-11 04:08:13 +08:00
|
|
|
enabled=1
|
|
|
|
gpgcheck=1
|
2017-08-10 06:49:53 +08:00
|
|
|
gpgkey={{ docker_rh_repo_gpgkey }}
|
2017-02-08 19:03:51 +08:00
|
|
|
{% if http_proxy is defined %}proxy={{ http_proxy }}{% endif %}
|