On Monday 20 February 2006 17:32, Tollef Fog Heen wrote: > Ew. So we don't support mirrors which don't provide indices? Why not > just do a HEAD request instead? (Yes, wget doesn't support it yet, > but that would be a much nicer way to do it and should be easy enough > to fix.) /me not being sure of the implementation was the main reason I posted the patch to the list instead of just committing :-) Thanks Tollef and Geert for spotting this. Does the same go for the Release file, or can that be expected to be present? Re Geert's comment that it should be fixed in debootstrap: I don't agree. I think we should verify ASAP if a mirror is valid for the installation or not and not let the user partition his harddisk without making sure of this. So, who volunteers to implement HEAD for wget?
Attachment:
pgpcOq6AVLcId.pgp
Description: PGP signature