Estoy tratando de descargar múltiples urls de diferentes dominios usando diferentes proxies.
Debería hacer todo esto en una sola fila de código, ejecutando curl sólo 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 de abajo traté de ejecutar
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.