[racket] help packaging .plt file

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Tue Nov 15 09:48:42 EST 2011

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.