The file in question is a zip archive.
Nothing is going to be printed as it were. In fact because of the
Dropbox link cover, I am unsure what wget is finding at all.
The beauty, for me personally, of changing the browser used to links the
change is that I get a simple question asking if I want to o download the
file, then the option to change the filename..end of story.
On Tue, 13 May 2025, G. Branden Robinson wrote:
At 2025-05-13T21:48:50-0400, Karen Lewellen wrote:
The reason is, as I just discovered, wget does not allow you to create
a filename like a browser might. Instead wget downloads the url and
with dropbox that is a long series of characters that is quite a mess
in the end.
wget doesn't interactively prompt for a file name, but does support an
option to designate the output file name.
wget(1):
-O file
--output-document=file
The documents will not be written to the appropriate files, but
all will be concatenated together and written to file. If - is
used as file, documents will be printed to standard output,
disabling link conversion. (Use ./- to print to a file
literally named -.)
Use of -O is not intended to mean simply "use the name file
instead of the one in the URL;" rather, it is analogous to
shell redirection: wget -O file http://foo is intended to work
like wget -O - http://foo > file; file will be truncated
immediately, and all downloaded content will be written there.
[further caveats snipped]
Regards,
Branden
