> i already patched ctxtool to unzip everything
I think this is the right solution (or using -o to unzip). The unzip
time is low compared with the time to download cont-tmf.zip (disks are
faster than almost all network connections), so optimizing unzip time
is not worth the chance of inconsistent source files.
>From Knuth, I think: "Premature optimization is the root of all evil."
-Sanjoy
`Never underestimate the evil of which men of power are capable.'
--Bertrand Russell, _War Crimes in Vietnam_, chapter 1.
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context
