Download di più file con arricciatura con diversi proxy

Sto cercando di scaricare più url da diversi domini usando diversi proxy.

Dovrebbe fare tutto questo in una riga di codice, eseguendo il ricciolo una sola volta:

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"
...

Questo fallisce:

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"

Prendendo il codice da una risposta qui sotto ho provato a correre

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

ma anche questo fallisce.

Quando hai un URL o multipli lunghi, usa invece xargs:

do shell script "xargs curl --proxy < url-list.txt"

url-list.txt

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