[bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names

2023-12-18 Thread анонимный
Follow-up Comment #7, bug#64808 (group wget): Of course you can't. The problem is that app.kali.by is our intranet web server, it can't be seen outside the entreprise LAN. Maybe I should try to put some files with russian names on github. I guess the result will be the same.

[bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names

2023-12-17 Thread Tim Ruehsen
Follow-up Comment #6, bug#64808 (group wget): Ideally, you give us a command line example so we can reproduce. I can not resolve app.kali.by. ___ Reply to this item at:

[bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names

2023-12-13 Thread анонимный
Follow-up Comment #5, bug#64808 (group wget): On Ubuntu it works fine, you can see this in an attachement. There's no problem with the encoding of the file names. (file #55451) ___ Additional Item Attachment: File name: screen1.png

Re: [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-17 Thread Tim Rühsen
On 11/17/23 20:39, Eli Zaretskii wrote: Date: Fri, 17 Nov 2023 20:34:37 +0100 From: grafgrim...@gmx.de I use Linux and so not exe files. I use Gentoo Linux. Command line example: One line (wget and the url): wget

Re: [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-17 Thread Michael D. Setzer II
On 17 Nov 2023 at 20:34, grafgrim...@gmx.de wrote: Date sent: Fri, 17 Nov 2023 20:34:37 +0100 From: grafgrim...@gmx.de To: bug-wget@gnu.org Subject:Re: [bug #64808] When I use wget to download some files from a web server,

Re: [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-17 Thread Eli Zaretskii
> Date: Fri, 17 Nov 2023 20:34:37 +0100 > From: grafgrim...@gmx.de > > 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 > >

Re: [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-17 Thread grafgrimm77
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

[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-17 Thread Tim Ruehsen
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

[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-12 Thread анонимный
Follow-up Comment #3, bug #64808 (project wget): The parameters `--local-encoding` and `--remote-encoding` are useful for resource names that you put in a command line. ___ Reply to this item at:

[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-12 Thread анонимный
Follow-up Comment #2, bug #64808 (project wget): I tried this, it didn't work out. ___ Reply to this item at: ___ Сообщение отправлено по Savannah

[bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names

2023-10-29 Thread Tim Ruehsen
Follow-up Comment #1, bug #64808 (project wget): Did you test `--restrict-file-names` with different options ? If that doesn't help, there is also `--local-encoding` and `--remote-encoding` to experiment with. ___ Reply to this item at:

[bug #64808] When I use wget to download some files from a web server, files with russian names do not get proper names

2023-10-23 Thread анонимный
URL: Summary: When I use wget to download some files from a web server, files with russian names do not get proper names Group: GNU Wget Submitter: None Submitted: Пн 23 окт 2023 13:55:54