#!/bin/csh

# etc/lo - *csh logout script
# Steve Kinzler, kinzler@cs.indiana.edu, Mar 00
# http://www.cs.indiana.edu/~kinzler/home.html#unixcfg

# This file is to be run upon the exit of your *csh shell.  One way to do
# this is to install this file as ~/etc/lo and add the following to your
# ~/.*cshrc file:
#
#	if ( $?prompt ) then
#		alias lo 'source ~/etc/lo; exit'
#	endif
#
# and then exit your shells by running "lo".

# For use with the vsh*<->tcsh integration.  This automatically kills any
# running vsh* supplemental shell, for your convenience.
if ( $?vshtmp ) then
	unset vshtmp
	kill %vsh
	if ( $?VSH ) then
		if ( $VSH == vsh ) %vsh
	endif
endif

clear

# Pause a wee bit to prevent premature exitulation on fast computers,
# which we hope are new enough to support sleeps < 1s.
sleep .1 >& /dev/null