On Feb 01, Brian May <bam@debian.org> wrote: >I would suggest /tmp/$USER/ instead. I agree this or /tmp/user/$USER is the best solution. All our programs should (don't laugh :-) ) already use $TMPDIR, so we may just have to put some code in /etc/profile. -- ciao, Marco