Оказывается, интерфейс Хрома меняет не собственные настройки прокси, а общепользовательские, которые распространяются на всё подряд. Это не всегда хорошо; я, например, использую privoxy, от которого apt периодически входит в штопор.
Оказывается, у Хрома есть ключ --proxy-server=ip:port, который эту проблему решает. Жаль, нет способа указать это через окружение, только для Хрома, чтобы не менять ярлыки и скрипты.
И, раз уж пишу о прокси-серверах, не могу не вспомнить 84й выпуск FLOSS Weekly, посвящённый Foxy Proxy — расширению, которое позволяет для разных сайтов использовать разные прокси серверы. Они там как дети радовались этой возможности, как это нереально круто. Я, конечно, не Leo Laporte и не Randal Schwartz, но как же proxy autoconfig? Уже 13 лет люди этим пользуются.
0 коммент.:
Отправить комментарий