Pierre Riteau 71eb21a3dd Fix no_proxy configuration
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
2022-04-19 08:58:22 +02:00
..
2021-10-07 13:36:29 +00:00
2022-03-18 15:04:21 +00:00
2022-03-18 15:04:21 +00:00
2022-03-18 15:04:21 +00:00
2021-09-14 18:17:41 +02:00
2022-04-12 11:57:21 +00:00
2020-02-26 11:10:01 +01:00
2022-04-19 08:58:22 +02:00
2022-03-18 15:04:21 +00:00
2022-02-17 09:19:52 +01:00