Скачивание нескольких файлов с помощью curl с разными прокси

Я пытаюсь загрузить несколько URL-адресов из разных доменов, используя разные прокси.

Он должен сделать все это в одной строке кода, запустив curl только один раз:

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

Это не удается:

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"

Взяв код из ответа ниже, я попытался запустить

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

но это тоже не получается.

Если у вас длинный URL или кратные символы, используйте вместо них 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