[wget-notify] [bug #23756] Should rename "foo" to "foo/index.html"
when necessary.
Micah Cowan
INVALID.NOREPLY at gnu.org
Wed Jul 2 11:19:57 PDT 2008
URL:
<http://savannah.gnu.org/bugs/?23756>
Summary: Should rename "foo" to "foo/index.html" when
necessary.
Project: GNU Wget
Submitted by: micahcowan
Submitted on: Wednesday 07/02/2008 at 11:19
Category: Feature Request
Severity: 3 - Normal
Priority: 5 - Normal
Status: Confirmed
Privacy: Public
Assigned to: None
Originator Name:
Originator Email:
Open/Closed: Open
Discussion Lock: Any
Release: None
Operating System: None
Reproducibility: None
Fixed Release: None
Planned Release: 1.13
Regression: None
Work Required: 0 - Hours
Patch Included: None
_______________________________________________________
Details:
If Wget is made to process the URLs:
http://host/foo
http://host/foo/bar
and the server doesn't redirect http://host/foo to http://host/foo/, then
Wget will fail to download bar, with a "not a directory" error.
It would be nice if, instead, Wget were to try to rename the file to
"foo/index.html" (this would require an intermediate rename to a temporary
name, and creation of the appropriate directory), so that this sort of usage
doesn't throw Wget off.
Usually, one can get around this problem with the use of -nd; but there's no
guarantee.
In implementing this, one would need to be careful also to ensure that, if
host/foo/ already exists as a directory, then encountering http://host/foo
wouldn't result in an error either, but would automatically result in saving
the file to host/foo/index.html.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?23756>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
More information about the wget-notify
mailing list