wget command to download a file and save as a different filename -


i downloading file using wget command. when downloads local machine, want saved different filename.

for example: downloading file www.examplesite.com/textfile.txt

i want use wget save file textfile.txt on local directory newfile.txt. using wget command follows:

wget www.examplesite.com/textfile.txt 

use -o file option.

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] 

Comments

Popular posts from this blog

user interface - Python attempting to create a simple gui, getting "AttributeError: 'MainMenu' object has no attribute 'intro_screen'" -

jquery - Common JavaScript snippet to share files on Google Drive, Dropbox, Box.net or SkyDrive -

Android Gson.fromJson error -