5 Jun 2024 21:02:56 karl@???:

> if [ "$UID" != 0 ]
> then
>   TMPDIR=$HOME/tmp
>   export TMPDIR
>   if [ ! -d $TMPDIR ]
>   then
>     /bin/rm -f $TMPDIR
>     /bin/mkdir $TMPDIR
>   fi
> fi

I like that. no sticky bit required too.