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 downlo
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 redir
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 configur
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
What is in plazy? Should it end up in a collection (ie a subdirectory
of plt/collects/ or a similar-type directory but in a user-specific
place)?
Robby
On Tue, Nov 15, 2011 at 8:31 AM, Eric Tanter wrote:
> Yes, indeed, I want a .plt file that my students will install via DrRacket.
>
> I tried
>
Yes, indeed, I want a .plt file that my students will install via DrRacket.
I tried
raco pack plazy.plt plazy
(where plazy is the directory with all the stuff)
and it is behaving in a similar manner:
- if from file, it asks where to put it
- if from web, I get the same error message
any idea?
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
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 w
8 matches
Mail list logo
