#!/bin/bash

# cereal-shell: a restricted shell which only gives access to basic
#               cereal functionality
#
# The cereal scripts were written by
# Jameson Rollins <jrollins@fifthhorseman.net>
# and
# Daniel Kahn Gillmor <dkg-debian.org@fifthhorseman.net>.
#
# They are Copyright 2007, and are all released under the GPL, version 3
# or later.

export SOURCING_FROM_CEREAL_SHELL=true
. cereal
SHAREDIR=${SHAREDIR:-"/usr/share/cereal"}
export SHAREDIR
source "$SHAREDIR/common"