Estoy tratando de descargar varias URL de diferentes dominios usando diferentes proxies.
Debería hacer todo esto en una fila de código, ejecutando curl solo una vez:
do shell script "curl --proxy 1.2.3.4:800 http://domain1.com/somefile.txt"
do shell script "curl --proxy 2.3.4.5:80 http://www.domain2.com/otherfile.png"
do shell script "curl --proxy 3.4.5.6:8080 http://domain3.com/file.jpg"
...
Esto falla:
do shell script "curl --proxy 1.2.3.4:800 2.3.4.5:80 3.4.5.6:8080 http://domain1.com/somefile.txt http://www.domain2.com/otherfile.png http://domain3.com/file.jpg"
Tomando el código de una respuesta a continuación, intenté ejecutarlo
set url_list to "1.2.3.4:800 http://domain1.com/somefile.txt
2.3.4.5:80 http://www.domain2.com/otherfile.png
3.4.5.6:8080 http://domain3.com/file.jpg"
do shell script "xargs curl --proxy < " & url_list
pero esto también falla.