#!/bin/sh
#
# $Id: colorset,v 1.1 1995/04/15 13:34:03 qjb Exp $
# $Source: /home/qjb/scripts/RCS/colorset,v $
# $Author: qjb $
#
echo >/dev/tty "0.  Default"
echo >/dev/tty "1.  Light grays"
echo >/dev/tty "2.  Light blues"
echo >/dev/tty "3.  Bright normal"
echo >/dev/tty "4.  Dark normal"
echo `ask 5 1 'Enter colorset:'`