PS: Für das setzen des Web Proxies gibt es eine Alternative…
Show Plain Text
- do shell script "networksetup -setwebproxy Ethernet http://vmed.test.wap 80"
Falls nicht die Ethernet-Schnittstelle benutzt wird, musst du Ethernet durch die andere Schnittstelle ersetzen.
Die Namen der verfügbaren Schnittstellen kannst du dir Im Terminal mit
Show Plain Text
- networksetup -listallnetworkservices
anzeigen lassen.