71eb21a3dd
The no_proxy list should only contain domains, hostnames, IP addresses and networks, but docker_registry is often in the form ip_address:port. Use urlsplit to extract the hostname from the docker_registry variable after prepending http:// to turn it into a valid URL. Also add missing infra-vms to hosts in proxy.yml. Change-Id: I6424fc405894514a63fb2b641637bbb9d5c070c0
22 lines
820 B
Plaintext
22 lines
820 B
Plaintext
---
|
|
###############################################################################
|
|
# Configuration of HTTP(S) proxies.
|
|
|
|
# HTTP proxy URL (format: http(s)://[user:password@]proxy_name:port). By
|
|
# default no proxy is used.
|
|
http_proxy: ""
|
|
|
|
# HTTPS proxy URL (format: http(s)://[user:password@]proxy_name:port). By
|
|
# default no proxy is used.
|
|
https_proxy: ""
|
|
|
|
# List of domains, hostnames, IP addresses and networks for which no proxy is
|
|
# used. Defaults to ["127.0.0.1", "localhost", "{{ ('http://' ~
|
|
# docker_registry) | urlsplit('hostname') }}"] if docker_registry is set, or
|
|
# ["127.0.0.1", "localhost"] otherwise. This is configured only if either
|
|
# http_proxy or https_proxy is set.
|
|
no_proxy:
|
|
- "127.0.0.1"
|
|
- "localhost"
|
|
- "{{ ('http://' ~ docker_registry) | urlsplit('hostname') if docker_registry else '' }}"
|