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

Question

[hackuun]

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

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

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

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

wget -i cats.txt

Answer 1

[Mysterion]

#!/bin/bash
cat $1 | while read line
do
  $(`which wget`) $line -O custom_file.mp4
done

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

Comments

[jcmvbkbc]

$(`which wget`)

просто wget уже не модно?

[hackuun]

Ваш скрипт не рабочий!

Try `wget --help' for more options.
./get.sh: line 4: https://media.giphy.com/media/13ouZCK3XYhHEc/giphy.mp4: No such file or directory
wget: missing URL
Usage: wget [OPTION]... [URL]...

Почему-то добавляется в урл :