2 Administrator Documentation
This section provides documentation relevant to administrators of Seashell. Consult the User Documentation for general end-user documentation.
2.1 Installing Seashell
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.
2.2 Configuring Seashell
File | Description |
Main backend configuration file. | |
Known Seashell host keys. |
2.2.1 etc/seashell_config.rkt
etc/seashell_config.rkt is the main file used for configuring the Seashell backend server.
2.2.1.1 Organization
((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")))
2.2.1.2 Options
Option |
| Possible Values |
| Default Value |
| Description |
debug |
| (or/c #t #f) |
| #f |
| Run Seashell with debug log output. |
host |
| (listof string?) |
| ("localhost") |
| Backend runner hosts. |
ssl-key |
| path-string? |
| "etc/keys/server-key.pem" |
| Location of SSL private key. |
ssl-cert |
| path-string? |
| "etc/keys/server.pem" |
| Location of SSL certificate. |
2.2.2 etc/seashell_hosts
This file holds the SSH host keys for the hosts Seashell connects to. Consult OpenSSH documentation for the format of this file.