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 and #o213. Looking at the .plt file, I can see that
they are indeed those values.
Any idea?
Breanndán
gnu-unzip: bad header
context...:
/Applications/Racket v6.0/collects/file/gunzip.rkt:866:2: do-gunzip
exception raised by error escape handler: continuation application: attempt to
jump into an escape continuation; original exception raised: gnu-unzip: bad
header
not an unpackable distribution archive
context...:
/Applications/Racket v6.0/collects/setup/unpack.rkt:274:7
/Applications/Racket v6.0/collects/setup/setup-core.rkt:197:13: for-loop
/Applications/Racket v6.0/collects/setup/setup-core.rkt:59:0: setup-core
/Applications/Racket v6.0/collects/setup/setup.rkt:56:3
exception raised by error escape handler: continuation application: attempt to
jump into an escape continuation; original exception raised: not an unpackable
distribution archive
Installation complete.
>>>>> "Robby" == Robby Findler <ro...@eecs.northwestern.edu> writes:
Robby> Is he giving a URL to DrRacket? If so could there be something
Robby> operating at the network layer (a proxy maybe) that gets in the
Robby> way?
Robby> A simple thing to try is visit the URL in a browser, save the
Robby> file and then give DrRacket the path to the file (in that same
Robby> dialog box).
Robby> Robby
Robby> On Wednesday, April 2, 2014, Breanndán Ó Nualláin
Robby> <b...@science.uva.nl
>> wrote:
Robby> This semester I set up a handin server and all my students
Robby> are using it ...except for one.
Robby> When he tries to install the prepared plt file via "Install
Robby> .plt file", DrRacket gives the complaint "gnu-gunzip bad
Robby> header". Does anyone have a pointer to what the problem might
Robby> be?
Robby> He's using DrRacket v6.0.0 on a Mac.
Robby> The plt file installs successfully for all other students on
Robby> a range of Mac, Windows and Linux environments.
Robby> Thanks,
Robby> Breanndán
Robby> ____________________ Racket Users list:
Robby> http://lists.racket-lang.org/users
____________________
Racket Users list:
http://lists.racket-lang.org/users
