Я нахожусь за очень капризным прокси (squid) и, похоже, разрешены только http-запросы, сделанные с конкретным пользовательским агентом.
При получении google.com из Google Chrome я вижу HTTP GET на WireSharc. Однако wget сначала пытается разрешить DNS через DNS-серверы по умолчанию, которые никогда не отвечают.
Как я могу заставить wget или даже git использовать прокси вместо прямого DNS-запроса?
