I don't know, but you might try connecting directly to the server and looking at the bytes yourself. DrRacket's downloader thing just uses net/url.
I believe I added something so that redirections are handled properly, but maybe something is going wrong with that. So if it is possible that a redirection is happening you might try putting the final url in and see if that helps. Sorry I don't have any good ideas. Robby On Tue, Nov 15, 2011 at 8:48 AM, Eric Tanter <etan...@dcc.uchile.cl> wrote: > Ok, this must be related to the webserver somehow. > > I put the .plt file on another host (which runs a dokuwiki), and installing > from there works. > > Is that a known problem with some server configuration? maybe the server does > not deal with .plt extension properly... (in dokuwiki, I could configure that > .plt is treated as an app and forces download). > > -- Éric > > > On Nov 15, 2011, at 11:36 AM, Eric Tanter wrote: > >> I figured out how to get the installation directory by default, using >> --at-plt >> >> So installation from file works fine now. >> >> Putting the .plt on one of my webservers and installing from URL still gives >> the format error. >> >> -- Éric >> >> >> On Nov 15, 2011, at 11:17 AM, Robby Findler wrote: >> >>> Planet creates .plt files that are meant to be installed via the >>> planet command-line tool or via (require (planet ...)) after they've >>> been uploaded to planet. >>> >>> If you want to install them via DrRacket (is that what you're doing?) >>> then you probably want to use 'raco pack' to create them. >>> >>> Robby >>> >>> On Tue, Nov 15, 2011 at 8:11 AM, Eric Tanter <etan...@dcc.uchile.cl> wrote: >>>> Hi, >>>> >>>> I am creating a small plugin for the first time. >>>> >>>> I create the .plt file using: raco planet create mydir/ >>>> >>>> While "it works", I get some problems with installation: >>>> >>>> - if I install the .plt "from file", the install works but for some reason >>>> I have to manually specify the target directory (a window pops up >>>> systematically, asking for the directory). This does not happen with other >>>> .plt files I install manually. (I'm on mac os, these .plt get installed in >>>> ~/Library/Racket/5.2/collects) >>>> >>>> - I put the .plt file on a web server and tried to install .plt "from >>>> web". In that case I get an error: >>>> gnu-unzip: bad header >>>> >>>> === context === >>>> /Applications/@Sync/Racket/collects/mzlib/inflate.rkt:857:2: do-gunzip >>>> >>>> not an unpackable distribution archive >>>> >>>> === context === >>>> /Applications/@Sync/Racket/collects/setup/unpack.rkt:271:7 >>>> >>>> >>>> Is there something special to specify so that the package can be installed >>>> from web, and automatically in the local collects? >>>> >>>> Thanks in advance! >>>> >>>> -- Éric >>>> >>>> _________________________________________________ >>>> For list-related administrative tasks: >>>> http://lists.racket-lang.org/listinfo/users >>>> >>> >> >> >> _________________________________________________ >> For list-related administrative tasks: >> http://lists.racket-lang.org/listinfo/users >> > > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
