## CDE's session structure is demented and doesn't leave us with a proper
## logout hook, so synthesize one here.
[ -n "$DT" ] && trap "source $HOME/.bash_logout" EXIT
## CDE's session structure is demented and doesn't leave us with a proper
## logout hook, so synthesize one here.
[ -n "$DT" ] && trap "source $HOME/.bash_logout" EXIT