Ich muss permanent Proxies ändern, da ich Netze recht häufig mit einem Client wechsle. Achten muss ich auf beide Proxytypen, da unterschiedliche Tools entweder den einen oder den anderen Proxytypen nutzen. Ich habe eine Zeitlang gesucht, um auch WinINET komfortabel mit der Konsole zu konfigurieren und endlich mal was praktikables gefunden.
Eine sehr gute Erklärung und Übersicht für die beiden Proxykonfigurationstypen liefert Frank Carius (Link).
Für mich sind beide konfigurationswürdig. WinINET setze ich im Nutzerkontext, WinHTTP im Systemkontext.
WinHTTP:
Mit elevated prompt (Als Administrator) öffne ich die DOSBox mit CMD und feure folgenden Befehl ab, um den Proxy zu setzen:
netsh winhttp set proxy "proxy.server.org:port" "<local>;Ausnahme1;Ausnahme2;..."Um den Proxy wegzunehmen
netsh winhttp reset proxyWinINET:
Typischerweise müsste ich jetzt Registrysettings importieren. Da mir das aber zu blöd ist, verwende ich das Tool von Dan Stevens „IEPROXY“, welches es hier zu laden gibt (Link).
Um den Nutzerproxy mit Dan Stevens Tool zu konfigurieren, öffne ich
die DOSBox mit CMD im Nutzerkontext und feuere folgenden Befehl mit Dan’s Tool ab, um den Proxy zu setzen:
ieproxy.exe -p proxy.server.org:port -l -b Ausnahme1,Ausnahme2,...Um den Nutzerproxy zu deaktivieren:
ieproxy.exe --no-proxy-serverDas Tool ist mitlerweile 6 Jahre alt und funktioniert wunderprima auch unter Windows 10 64 Bit. Das ist deutlich einfacher als Registrysettings zu importieren.
Danke an Dan!