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
This semester I set up a handin server and all my students are using it
...except for one.
When he tries to install the prepared plt file via "Install .plt file",
DrRacket gives the complaint "gnu-gunzip bad header". Does anyone have a
pointer to what the problem might be?
He's using DrRacket v6.
5 matches
Mail list logo
