[racket] help packaging .plt file

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Nov 15 09:54:48 EST 2011

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 <etanter at 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 <etanter at 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 ===
>>>> [email protected]/Racket/collects/mzlib/inflate.rkt:857:2: do-gunzip
>>>>
>>>> not an unpackable distribution archive
>>>>
>>>> === context ===
>>>> [email protected]/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
>>
>
>



Posted on the users mailing list.