@hackuun

Как сделать другую номерацию wget?

Скачиваю несколько файлов с одинаковым именем и wget их нумерует так

giphy.mp4.10
giphy.mp4.11
giphy.mp4.12
giphy.mp4.13


Как добавлять цифру до расширения?
Или второй вариант - как генерировать рандомное имя?

Скачиваю используя файл в котором ссылки

wget -i cats.txt
  • Вопрос задан
  • 88 просмотров
Пригласить эксперта
Ответы на вопрос 1
@Mysterion
#!/bin/bash
cat $1 | while read line
do
  $(`which wget`) $line -O custom_file.mp4
done

Ну и в коде можно произвольные названия файлов устанавливать, какие пожелаете.
./script.sh cats.txt
Ответ написан
Ваш ответ на вопрос

Войдите, чтобы написать ответ

Войти через центр авторизации
Похожие вопросы