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
