!	 $Id: shell,v 1.3 2002/02/19 19:43:28 f Exp $
!
! Copyright (c) 1990-2001  Michael Sandrof, Troy Rollo, Matthew Green,
! and other ircII contributors.
!
! All rights reserved.  See the HELP SCROLLZ COPYRIGHT file for more
! information.
!
Usage: SET SHELL <shell path>
  Sets the name of the shell to be used by the EXEC command.
  Normally, this would be a standard csh or sh, but you can make
  it anything you like.  

See Also: 
  SET SHELL_FLAGS
  SET SHELL_LIMIT
  EXEC