comparison mupdf-source/thirdparty/curl/docs/cmdline-opts/remote-name.d @ 2:b50eed0cc0ef upstream

ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4. The directory name has changed: no version number in the expanded directory now.
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 15 Sep 2025 11:43:07 +0200
parents
children
comparison
equal deleted inserted replaced
1:1d09e1dec1d9 2:b50eed0cc0ef
1 Long: remote-name
2 Short: O
3 Help: Write output to a file named as the remote file
4 ---
5 Write output to a local file named like the remote file we get. (Only the file
6 part of the remote file is used, the path is cut off.)
7
8 The file will be saved in the current working directory. If you want the file
9 saved in a different directory, make sure you change the current working
10 directory before invoking curl with this option.
11
12 The remote file name to use for saving is extracted from the given URL,
13 nothing else, and if it already exists it will be overwritten. If you want the
14 server to be able to choose the file name refer to --remote-header-name which
15 can be used in addition to this option. If the server chooses a file name and
16 that name already exists it will not be overwritten.
17
18 There is no URL decoding done on the file name. If it has %20 or other URL
19 encoded parts of the name, they will end up as-is as file name.
20
21 You may use this option as many times as the number of URLs you have.