[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Bug-wget] [bug #50935] TEXTHTML not properly set if page is already dow
|
From: |
anonymous |
|
Subject: |
[Bug-wget] [bug #50935] TEXTHTML not properly set if page is already downloaded |
|
Date: |
Fri, 12 May 2017 11:35:12 -0400 (EDT) |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:53.0) Gecko/20100101 Firefox/53.0 |
Follow-up Comment #4, bug #50935 (project wget):
The problem with the replacement commands you recommended (replacing -pH with
-pHE in the second) is that it redownloads the files that it adjusts the
extension of.
As for making a head request, how expensive is that? It would be ideal for my
use case if it didn't have to make any network requests at all for already
downloaded files. Is using a heuristic like if it begins with "<!DOCTYPE
html" or an html tag too messy?
Anyways, is wget2 ready for daily use at all? Are there stable releases?
Thanks for the quick response.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?50935>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/