Ben suggests that Debian LINUX ``solves'' this problem with a
.bash_logout.  This solves it no more than by putting it in a csh.logout
(which is what I've done in the past).

The problem with both of these approaches is that it only works if your
shell runs the indicated logout script.  /bin/sh doesn't run ANY logout
script, that I know of.  Nor, I think, does /bin/ksh.  I dunno about
others that we may have in pkgsrc.

So, while it can work for a few users, it's not a real solution, IMHO.


But, if a real solution finds its way into a NetBSD release, I'd be happy
to see it.  (^&


  "I probably don't know what I'm talking about." --rauch@eecs.ukans.edu