[racket] help packaging .plt file

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Tue Nov 15 10:01:33 EST 2011

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 <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.