You can use the Curl command to download a file and save it with a specific name using the -o or --output option followed by the name you want to give to the downloaded file.
Here's the basic syntax:
curl -o [file_name] [URL]
In this case, [file_name] is the name you want to give to your downloaded file and [URL] is the URL of the file you want to download.
For example, if you want to download a file from http://example.com/myfile.pdf and save it as my_downloaded_file.pdf, you would use the following command:
curl -o my_downloaded_file.pdf http://example.com/myfile.pdf
This command will download the file from the provided URL and save it as my_downloaded_file.pdf in the current directory.
You can also use the -O (capital O) option which will use the original file name from the URL. Here's how to do it:
curl -O [URL]
For example:
curl -O http://example.com/myfile.pdf
This command will download the file from the provided URL and save it as myfile.pdf in the current directory.
Remember to replace http://example.com/myfile.pdf with the URL of the file you want to download.
