Как скачать url с расширением при переименовании на curl? - PullRequest
1 голос
/ 10 апреля 2020

Я новичок в кодировании, и мне нужна помощь. Я использую curl -o "$filename.$e" для скачивания многих файлов. Все работают хорошо, но немного медленно, потому что переменная $ e определяется командой system

 if [[  url =~ ^.*gif.*$ ]]; then
 e=gif
 elif [[ url =~ ^.*jpg.*$ ]];then
 e=jpg
elif [[ url =~ ^.*png.*$ ]]; then
  e=png
 else echo Corrupted link!!!
 fi

, которая требует времени для ответа. Как я могу получить расширение при загрузке, как curl -o "$filename.*$"

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...