Ok, thanks anyway--I'm already happy with having the installer working for now, I'll distribute it via dokuwiki.
-- Éric On Nov 15, 2011, at 11:54 AM, Robby Findler wrote: > 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
