[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug #64808] When I use wget to download some files from a web serve
From: |
grafgrimm77 |
Subject: |
Re: [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names |
Date: |
Fri, 17 Nov 2023 20:34:37 +0100 |
I use Linux and so not exe files. I use Gentoo Linux.
Command line example:
One line (wget and the url):
wget
http://releases.mozilla.org/pub/firefox/releases/119.0.1/source/firefox-119.0.1.source.tar.xz
result: a file with a wrong checksum.
Greetings
Graf Grimm
On Fri, 17 Nov 2023 14:12:28 -0500 (EST)
INVALID.NOREPLY@gnu.org wrote:
> Follow-up Comment #4, bug #64808 (project wget):
>
> Windows character encodings may be special.
> Is this issue reproducible on e.g. GNU/Linux?
> I am willing to test it on GNU/Linux, but I need a full command line
> example from you.
>
> Out of curiosity, can you test wget2.exe from
> https://gitlab.com/gnuwget/wget2/-/releases (there is also a .sig
> file / PGP signature in case you want to verify the origin).
>
>
>
> _______________________________________________________
>
> Reply to this item at:
>
> <https://savannah.gnu.org/bugs/?64808>
>
> _______________________________________________
> Message sent via Savannah
> https://savannah.gnu.org/
>
>
>
- [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names, анонимный, 2023/11/13
- Message not available
- [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names, анонимный, 2023/11/13
- Message not available
- [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names, Tim Ruehsen, 2023/11/17
- Re: [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names,
grafgrimm77 <=
- Re: [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names, Eli Zaretskii, 2023/11/17
- Re: [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names, Tim Rühsen, 2023/11/17
- Re: [bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names, Michael D. Setzer II, 2023/11/17