ghc via ftp

[Michael Sperber [Mr. Preprocessor]]

>>>>> "Keith" == Keith Wansbrough <Keith.Wansbrough at cl.cam.ac.uk> writes:

Keith> sperber at informatik.uni-tuebingen.de (Michael Sperber [Mr. 
Keith> Preprocessor]) writes:

>> For mirroring, yes.  This doesn't work particularly well over http.

Keith> What about wget?  wget --mirror seems to work for me...

Sure, but the overhead is pretty stupendous, as you need to request
headers for each single file to get at the metadata.  It's also not
immediately clear what to specify as the mirroring source, even though
it's probably possible to find out.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla