Yes.
For some package , you can install it for your current user with
the command "raco pkg install " or for the entire installation
(which I often prefer) with "raco pkg install -i ".
So, to install DrRacket, "raco pkg install drracket".
Installing the document you linked to illustrates another point: while you
can mix documentation and implementation in the same package, many
"industrial strength" packages like Scribble split them up into separate
packages, so that in resource-constrained environments you can leave out
the documentation. The document you linked to is part of the "scribble-doc"
package ("raco pkg install scribble-doc"), and the implementation is in
"scribble-lib" ("raco pkg install scribble-lib"). Assuming you want both,
you can just install the main Scribble package ("raco pkg install
scribble"), which pulls both the documentation and the implementation as
dependencies.
I would also note that the minimal installation is very minimal indeed, and
the main distribution is < 600 MB on my machine. Unless you have a
particular reason to want the minimal version, I think the main
distribution is a more friendly place to start.
-Philip
On Mon, Apr 23, 2018 at 9:38 AM, Manuel G <
paracomunicacionesinforma...@gmail.com> wrote:
> Hi,
>
> I'm new to racket, and I'm very interested in DSL , I've installed the
> minimal distribution, and I'd like to
> "install" documentation such as
>
> https://docs.racket-lang.org/scribble/index.html
>
> , is that possible ?
>
> Can I install drracket using raco ?
>
> thanks
> ...
> manolo
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
