This section provides documentation relevant to administrators of Seashell. Consult the User Documentation for general end-user documentation.
University of Waterloo only: Seashell’s source repository has already been cloned into ~cs136/seashell_src, its build directory has been setup as ~cs136/seashell_build, and its install directory is located at ~cs136/seashell.
Main backend configuration file.
Known Seashell host keys.
etc/seashell_config.rkt is the main file used for configuring the Seashell backend server.
((ssl-key "/etc/seashell_keys/seashell.key") (ssl-cert "/etc/seashell_keys/seashell.pem") (host ("ubuntu1204-002.hosts.seashell.student.cs.uwaterloo.ca" "ubuntu1204-004.hosts.seashell.student.cs.uwaterloo.ca" "ubuntu1204-006.hosts.seashell.student.cs.uwaterloo.ca")))
(or/c #t #f)
Run Seashell with debug log output.
Backend runner hosts.
Location of SSL private key.
Location of SSL certificate.
This file holds the SSH host keys for the hosts Seashell connects to. Consult OpenSSH documentation for the format of this file.