rackety handin-server docs and other repairs

This commit is contained in:
Matthew Flatt 2010-08-19 15:56:07 -06:00
parent 7ee7106b2d
commit 43ecbe4837
5 changed files with 12 additions and 12 deletions

View File

@ -63,7 +63,10 @@ Keywords for configuring @scheme[check:]:
@item{@indexed-scheme[:language]---the language that is used for @item{@indexed-scheme[:language]---the language that is used for
evaluating submissions, same as the @scheme[_language] argument for evaluating submissions, same as the @scheme[_language] argument for
@scheme[make-evaluator] (see @schememodname[handin-server/sandbox]). @scheme[make-evaluator] (see @schememodname[handin-server/sandbox]),
except that if the value ls @racket[(list 'module _spec)],
then @racket[make-module-evaluator] is used with @racket[_spec]
as its @racket[#:language] argument.
There is no default for this, so it must be set or an error is There is no default for this, so it must be set or an error is
raised. (See @scheme[call-with-evaluator/submission] for further raised. (See @scheme[call-with-evaluator/submission] for further
details.)} details.)}

View File

@ -6,8 +6,8 @@
@itemize[ @itemize[
@item{Rename (or make a copy of) the @filepath{handin-client} @item{Rename (or make a copy of) the @filepath{handin-client}
collection directory. The new name should describe your class collection directory. The new name should describe your class
uniquely. For example, @filepath{uu-cpsc2010} is a good name for CPSC uniquely. For example, @filepath{uu-cs1410} is a good name for CS
2010 at the University of Utah.} 1410 at the University of Utah.}
@item{Edit the first three definitions of @filepath{info.ss} in your @item{Edit the first three definitions of @filepath{info.ss} in your
renamed client collection: renamed client collection:
@ -48,7 +48,7 @@ uniquely. For example, @filepath{uu-cpsc2010} is a good name for CPSC
private. (See @secref{server-setup}.)} private. (See @secref{server-setup}.)}
@item{To create an installable package, run @item{To create an installable package, run
@commandline{mzc --collection-plt <name>.plt <name>} where @tt{<name>} @commandline{raco pack --collect <name>.plt <name>} where @tt{<name>}
is the name that you chose for your directory (i.e., whatever you is the name that you chose for your directory (i.e., whatever you
changed @filepath{handin-client} to). changed @filepath{handin-client} to).
@ -59,7 +59,7 @@ uniquely. For example, @filepath{uu-cpsc2010} is a good name for CPSC
variable. For example, if your customized collection directory is variable. For example, if your customized collection directory is
called @filepath{cs1} and it is located at called @filepath{cs1} and it is located at
@filepath{/home/joe/intro/cs1}, then you can run @filepath{/home/joe/intro/cs1}, then you can run
@commandline{PLTCOLLECTS=/home/joe/intro: mzc --collection-plt cs1.plt cs1} @commandline{PLTCOLLECTS=/home/joe/intro: raco pack --collect cs1.plt cs1}
(Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value; (Don't forget the colon at the end of the @envvar{PLTCOLLECTS} value;
it is important!) it is important!)

View File

@ -36,10 +36,7 @@
@scheme[server:port], @scheme[tools], @scheme[tool-names], and @scheme[server:port], @scheme[tools], @scheme[tool-names], and
@scheme[tool-icons].} @scheme[tool-icons].}
@item{Run @commandline{setup-plt -l handin-client} @item{Run @commandline{raco setup -l handin-client}
NOTE: Under Windows, the executable is @exec{Setup PLT} instead of
@exec{setup-plt}.
NOTE: The command line arguments are optional, it restricts the NOTE: The command line arguments are optional, it restricts the
setup work to the specified collection.} setup work to the specified collection.}

View File

@ -3,11 +3,11 @@
@title{Handin-Server and Client} @title{Handin-Server and Client}
The @filepath{handin-server} directory contains a server to be run by a The @filepath{handin-server} collection directory contains a server to be run by a
course instructor for accepting homework assignments and reporting on course instructor for accepting homework assignments and reporting on
submitted assignments. submitted assignments.
The @filepath{handin-client} directory contains a client to be The @filepath{handin-client} collection directory contains a client to be
customized then re-distributed to students in the course. The customized then re-distributed to students in the course. The
customized client will embed a particular hostname and port where the customized client will embed a particular hostname and port where the
server is running, as well as a server certificate. server is running, as well as a server certificate.

View File

@ -5,7 +5,7 @@
If you obtained the server and client by installing a @filepath{.plt} If you obtained the server and client by installing a @filepath{.plt}
file, then the @filepath{handin-server} and @filepath{handin-client} file, then the @filepath{handin-server} and @filepath{handin-client}
directories might be in your PLT addon space. Start Racket, and directories might be in your Racket addon space. Start Racket, and
enter @schemeblock[(collection-path "handin-server")] enter @schemeblock[(collection-path "handin-server")]
@schemeblock[(collection-path "handin-client")] to find out where @schemeblock[(collection-path "handin-client")] to find out where
these collections are. these collections are.