From e95602b8e4fed6813985b57ff636b3c09acc5b79 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 28 Sep 2010 20:27:34 -0400 Subject: [PATCH] Update raco pack command-line --- .../scribblings/client-customization.scrbl | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/handin-server/scribblings/client-customization.scrbl b/collects/handin-server/scribblings/client-customization.scrbl index c0f4f521b2..fbe7f8e2ec 100644 --- a/collects/handin-server/scribblings/client-customization.scrbl +++ b/collects/handin-server/scribblings/client-customization.scrbl @@ -48,9 +48,11 @@ uniquely. For example, @filepath{uu-cs1410} is a good name for CS private. (See @secref{server-setup}.)} @item{To create an installable package, run - @commandline{raco pack --collect .plt } where @tt{} - is the name that you chose for your directory (i.e., whatever you - changed @filepath{handin-client} to). + @commandline{raco pack --collect --at-plt ++setup .plt } + where @tt{} is the name that you chose for your directory (i.e., + whatever you changed @filepath{handin-client} to). You can also add a + @tt{--replace} flag to make the installation of the resulting file + replace existing files (useful for creating an update package). This directory should exist in your @filepath{collects} directory: this can be done by making sure that the copy is in the same place the @@ -59,7 +61,7 @@ uniquely. For example, @filepath{uu-cs1410} is a good name for CS variable. For example, if your customized collection directory is called @filepath{cs1} and it is located at @filepath{/home/joe/intro/cs1}, then you can run - @commandline{PLTCOLLECTS=/home/joe/intro: raco pack --collect cs1.plt cs1} + @commandline{PLTCOLLECTS=/home/joe/intro: raco pack --collect ...} (Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value; it is important!)