*Hobbit* Thu, 26 Apr 2001 15:36:45 -0700
If you're going to go to these lengths, why not dump the concept of a shared /tmp completely and just default TMPDIR to $HOME/tmp, mode 01700, or something of that sort? I've had this in my own shell init for years. _H*
