I'm sorry, I'm still not seeing how this can happen, unless the file is
corrupt. I've pushed a change to DrRacket so that it prints the first 100
characters of the file it is trying to unpack in hopes that that might give
us a clue to what's going wrong.
There should be a new snapshot build availa
I don't have any ideas. Are you using the machine yourself to try this out?
Can you point me to the file so I can try it?
Oh, except one thing: the "installation complete" message is completely
misleading here. It just means "I'm done" not "I succeeded".
Robby
On Thu, Apr 3, 2014 at 11:40 PM,
Thanks for the suggestion Robby but no luck, I'm afraid.
DrRacket gives the error below. Although it then claims to complete the
installation, the server button doesn't appear even after a restart.
From the error message it seems that gnu-unzip expects the first two bytes
of the file to be #o037
Is he giving a URL to DrRacket? If so could there be something operating at
the network layer (a proxy maybe) that gets in the way?
A simple thing to try is visit the URL in a browser, save the file and then
give DrRacket the path to the file (in that same dialog box).
Robby
On Wednesday, April
4 matches
Mail list logo
