Я должен подключиться к своему университетскому прокси, если у меня есть доступ к Интернету, и у моего университета есть два прокси.
Сейчас время от времени на них затопляется трафик, поэтому мы переключаемся на другой прокси, теперь мне было интересно, могу ли я написать пакетный скрипт или файл python и назначить ему сочетание клавиш, чтобы переключение было быстрым!
Конфигурация прокси сложна, потому что она часто настраивается в каждом приложении отдельно. Однако многие приложения используют настройки Internet Explorer по умолчанию, и их можно настроить через реестр, как подробно описано здесь (поддержка Microsoft). Вы можете создать файл .reg для каждого прокси и дважды щелкнуть по нему, чтобы применить настройки, или создать простой пакетный скрипт для его импорта.
Файл реестра имеет следующую форму:
Regedit4
[HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings]
"MigrateProxy"=dword:00000001
"ProxyEnable"=dword:00000001
"ProxyHttp1.1"=dword:00000000
"ProxyServer"="http://ProxyServername:80"
"ProxyOverride"="<local>"
В качестве альтернативы настройте каждый прокси по очереди, а затем перейдите к HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Internet Settings и экспортируйте соответствующие настройки.
Эта конфигурация, конечно, может быть также включена во что-либо еще (VBScript или что-то еще), которое может записывать в реестр.
Вы должны быть в состоянии установить прокси с помощью netsh:
netsh winhttp set proxy myproxy
netsh winhttp set proxy myproxy:80 "<local>;bar"
netsh winhttp set proxy proxy-server="http=myproxy;https=sproxy:88" bypass-list="*.foo.com"
Это примеры из netsh winhttp set proxy help . Настройки прокси WinHTTP используются не всеми приложениями. Вероятно, лучше использовать решение, описанное в ответе zelanix, а затем просто импортировать настройки IE в WinHTTP с помощью:
netsh winhttp import proxy source=ie
Системный прокси-сервер можно изменить с помощью команды netsh в Windows 7.