On Tue, 13 May 2025, Karen Lewellen wrote:
> Instead wget downloads the url and with dropbox that is a long series of
> characters that is quite a mess in the end.
Uh, just rename the file afterwards?
> The reason is, as I just discovered, wget does not allow you to create a
> filename like a browser might.
You can also use:
wget -O filename
(that is dash and uppercase O)
Or:
curl -o filename
(that is dash and lowercase o)
Enjoy,
//mirabilos
--
>> Why don't you use JavaScript? I also don't like enabling JavaScript in
> Because I use lynx as browser.
+1
-- Octavio Alvarez, me and ⡍⠁⠗⠊⠕ (Mario Lang) on debian-devel
