如果下载文件的文件名已经存在于磁盘上,curl是否有自动更改该文件名的选项?
Wget通过添加.1、.2、.3、.4等自动完成此操作。添加到文件名的末尾。
Curl示例:
$ 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发布于 2018-09-07 19:28:11
不是的。curl没有这样的选项。如果您真的需要它,您通常可以通过在脚本或其他包装程序中自己进行检查来解决它。
这个特性在curl的TODO中被提到,因为它可能会被整洁地拥有,所以它可能会在未来的某个时间点被添加……
https://stackoverflow.com/questions/52209584
复制相似问题