Ну так и пропишите дополнительные имена в список "не использовать прокси".

Нет, это аллогично, т.к. у каждого прокси свой DNS и свой hosts, которые могут быть недоступны пользователям сервера прокси.

Как не связаны? Прокси сам берёт IP из DNS и hosts, т.е. бразер говорит ему: "дай мне сайт www.site.ext", а прокси спрашивает у DNS какой IP у www.site.ext, окрывает соединение с www.site.ext берёт страницу и отдаёт её браузеру.

А ты прокси отключи на время, у тебя и под виндой всё заработает.

Ну да, разные, ну и что, если прокси установлен на отдельном компе то и настройка там свои.

Нельзя, если каждый адрес проверять, то в демилитаризированной зоне ты получишь огромную задержку при обращении к сайтам в инете.

Это что и к чему тут приплетено?

Что ж, вам видней, у меня на моём прокси увы это не так.

А прокси стоит на том же компе что и Firefox?

Что такое "демилитаризированная зона" и почему именно в ней я должен получить задержку?

hosts - текстовый файл в юниксах, и почему-то в виндах тоже, который указывает доменные имена и соответствующие им ip. Обращения по этим именам должны идти на указанные ip независимо от того, что по поводу этих имён думают DNS в интернете. В том числе если я вообще не подключен к инету.

"man hosts" говорит, что в давние времена /etc/hosts в юниксах использовался в качестве системы имён интернета, и файл должен был синхронизироваться с другими компьютерами. DNS заменила эту систему.

Сейчас hosts обычно используется для тестирования сайтов без выкладывания в интернет.

Демилитаризированная зона (DMZ) это часть сети закрытая фаерволом или брандмауером от остальных сетей, в том числе и от интернета. Т.е. из вне в эту сеть никак не попасть. Для доступа из DMZ к сервисам во внешних сетях используются шлюзы, т.е. так называемые, программы-посредники, на вроде прокси. Так строятся все нормальные локальные сети.

Программа обращаясь к какому-либо серверу по имени делает сначала запрос к DNS, ждет некоторое время, затем если сервер недоступен то выдает сообщение об ошибке. DNS - тоже программа, она тоже при трансляции адреса ищет ip до тех пор пока не поймет, что такого домена не существует. Если домен существует (DNS стоит на сервере с прокси) то IP адрес успешно будет получен программой, и программа начнет ломиться по указанному адресу. Но т.к. доступ в DMZ во вне ей закрыт, то она будет ждать, ждать, долго ждать, пока сервер ей не ответит, а когда до неё дойдет, что указанный адрес недоступен, то пройдёт раздражительно немало времени.

нет

Могу объяснить ситуацию, которая по идее должна решаться с локальным hosts, но не решается в FF.

Допустим имеется сервер за проксей, на нем поднят виртуальный хостинг, но по определенным причинам будущее предполагаемое доменное имя не прописано в DNS. Зато оно прописано в hosts на самом сервере и web-сервер это устраивает.

Нам надо получить доступ к web-ресурсу на этом виртуальном хостинге через прокси. Педположим что hosts на компьютере с прокси мы настроить не можем, а вот на рабочей машине - запросто, что мы и делаем. Эти манипуляции мы вынуждены делать потому, что на этот хост можно попасть лишь указав доменное имя в URL'е http запроса, по ip сервера мы на этот хост никак не попадем, т.к. web-сервер будет выдавать страничку главного хоста, не виртуального. Но манипуляции с hosts ни к чему не приводят при настроеном прокси, они просто не учитываются (не можем получить ip для соединения с сервером), а при отключенном прокси мы не имеем вообще никакого способа добраться до нужного сервера (зато можем узнать его ip). Получается замкнутый круг.

Да, так оно и есть, если прокси доставляет именно то ресурс, URL которого запрашивается, т.е. при запросе:

Он попытается добыть именно http://www.domain.ext/index.htm. Допустим FireFox знает ip этого www.domain.ext, тогда он тупо скажет прокси: "Дай мне ресурс http://01.01.01.01/index.htm" и прокси конечно полезет брать именно этот ресурс, но как заставить прокси обращаться к ресурсу http://www.domain.ext/index.htm по определенному ip адресу я не знаю.