case-insensitive ZIP

Primer, Jeremy (FID) wrote:

Uwe and Brian,

Thanks for your attention to this one.

We currently have the following array of atypical situations in our
corporate installation:

(1) Central install directory, where I neither have nor can reasonably
want Administrator priviledges;
(2) IT staff willing to maintain R officially but wants to leave
*contributed* packages to user groups if at all possible;
(3) Direct access from R to the CRAN not working through any of the
methods owing to the proxy server.

So I downloaded some 40 contributed package *.ZIP files directly from
CRAN using Internet Explorer, then ran install.packages() in R on these
local zipfiles with parameter CRAN=NULL. Except for the case-sensitivity
of the "*.zip" extension in install.packages(), which I amended myself,
this appears to have worked fine, passed checksums, etc.  Since I
installed the packages with install.packages() and they passed checksum,
I don't see why they would not work. Some simple tests worked, and
setting libPaths() and running installed.packages() suggests that R
knows what it has. 

No, I mean that some self zipped .ZIP files won't work generally. Those 
on CRAN are build with R CMD INSTALL --build, and they do have the 
extension .zip rather than .ZIP.

So it looks like your web browser does strange things with the extension.