I am downloading a file using the wget command. But when it downloads to my local machine, I want it to be saved as a different filename.
wget
For example: I
Use the -O file option.
-O file
E.g.
wget google.com ... 16:07:52 (538.47 MB/s) - `index.html' saved [10728]
vs.
wget -O foo.html google.com ... 16:08:00 (1.57 MB/s) - `foo.html' saved [10728]