Есть ли опция для curl для автоматического изменения имени загруженного файла, если это имя уже существует на диске?
Wget делает это автоматически, добавляя .1, .2, .3, .4 и т. Д. ... в конец имени файла.
Пример скручивания:
$ ls -al
drwx------. 3 user user 219 Sep 6 17:12 .
drwxr-xr-x. 3 user user 21 May 12 18:54 ..
-rw-rw-r--. 1 user user 147415 Sep 6 16:47 image.jpg
$ curl -O https://website/context/path/image.jpg
$ ls -al
drwx------. 3 user user 219 Sep 6 17:12 .
drwxr-xr-x. 3 user user 21 May 12 18:54 ..
-rw-rw-r--. 1 user user 147415 Sep 6 17:35 image.jpg
Приведенная выше команда curl перезапишет исходный файл image.jpg. Есть ли способ в curl, чтобы новый файл назывался image.jpg.1
, или что-то подобное, как в wget?
Пример Wget:
$ rm image.jpg*
$ wget https://website/context/path/image.jpg
$ ls -al
drwx------. 3 user user 219 Sep 6 17:12 .
drwxr-xr-x. 3 user user 21 May 12 18:54 ..
-rw-rw-r--. 1 user user 147415 Sep 6 17:42 image.jpg
$ wget https://website/context/path/image.jpg
$ wget https://website/context/path/image.jpg
$ wget https://website/context/path/image.jpg
$ ls -al
drwx------. 3 user user 219 Sep 6 17:12 .
drwxr-xr-x. 3 user user 21 May 12 18:54 ..
-rw-rw-r--. 1 user user 147415 Sep 6 17:42 image.jpg
-rw-rw-r--. 1 user user 147415 Sep 6 17:42 image.jpg.1
-rw-rw-r--. 1 user user 147415 Sep 6 17:42 image.jpg.2
-rw-rw-r--. 1 user user 147415 Sep 6 17:42 image.jpg.3