On this page:
2.1 Installing Seashell
2.2 Configuring Seashell
2.2.1 etc/  seashell_  config.rkt
2.2.1.1 Organization
2.2.1.2 Options
2.2.2 etc/  seashell_  hosts
3.0.12 (HEAD-f942b966)

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

    2.2 Configuring Seashell

      2.2.1 etc/seashell_config.rkt

        2.2.1.1 Organization

        2.2.1.2 Options

      2.2.2 etc/seashell_hosts

2.1 Installing Seashell

Consult Downloading Source and Building from Source for installation instructions.

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

The following files are used to configure Seashell’s behaviour:

File

Description

etc/seashell_config.rkt

Main backend configuration file.

etc/seashell_hosts

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

etc/seashell_config.rkt is organized as a S-expression list of key-value pairs. For example:
((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

The following configuration options are stored in etc/seashell_config.rkt

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.