The-Library

Next: Contributing, Previous: The Lounge, Up: Top   [Contents][Index]


6 The Library

The library provides all functionality related to discipline management: it manages the repository of disciplines as physical files on the hard drive; exposes a “store” which can be accessed via the library’s API (or, more typically, by a client) and supplies the actual problems (see Problems, see Exercises) to be resolved by the user.

Library servers listen at a socket in Glean’s user directory after startup.

To fire up the library:

glean library options

options can be one of the usual suspects (--help, --usage, version) or one of the following:

--listen

Start the library in listening mode.

Start a Glean library, but provide a server to connect to from Guile. This enables interactive development and is normally only used when hacking Glean.